#!/bin/bash

. params.sh

java -Xms500M -Xmx1G -Dlog.level=DEBUG -cp ${JPATH} fr.inria.exmo.lazylavender.engine.Monitor -DreportIncoherence=1