Fixing counters_deg output dir

tests/integration/compiler/counters_smaller_than_default/README

@@ -1,4 +1,2 @@
 #Command-line:
 "${KAPPABIN}"KaSim -l 1 counters_smaller_than.ka -d output --compile -seed 352860854 || true
-
-# BUG

tests/integration/simulation/counters_create/README

@@ -1,5 +1,2 @@
 #Command-line:
 "${KAPPABIN}"KaSim counters_create.ka  -o data.svg -d output -seed 322460359 -l 2 --debug || exit 0
-
-#BUG, should create some B()
-#   But interted part of the counter is no set up with the proper initialisation value.

tests/integration/simulation/counters_deg/README

@@ -1,2 +1,2 @@
 #Command-line:
-"${KAPPABIN}"KaSim counters_deg.ka  -seed 322460359 || exit 0
+"${KAPPABIN}"KaSim counters_deg.ka  -d output -seed 322460359 || exit 0

tests/integration/simulation/counters_deg/output/LOG.ref

@@ -13,7 +13,7 @@ done
 	 -initial conditions
 + Building initial state (2 agents)
 Done
-+ Command line to rerun is: 'KaSim' 'counters_deg.ka' '-seed' '322460359'
++ Command line to rerun is: 'KaSim' 'counters_deg.ka' '-d' 'output' '-seed' '322460359'
 ______________________________________________________________________
 ######################################################################
 Simulation ended

tests/integration/simulation/counters_deg/output/deadlock.ka.ref

@@ -0,0 +1,5 @@
+// Snapshot [Event: 1]
+%def: "T0" "6.432362655550786"
+
+
+

tests/integration/simulation/counters_deg/output/inputs.ka.ref

@@ -0,0 +1,18 @@
+%def: "seed" "322460359"
+%def: "dumpIfDeadlocked" "true"
+%def: "maxConsecutiveClash" "3"
+%def: "progressBarSize" "70"
+%def: "progressBarSymbol" "#"
+%def: "plotPeriod" "1" "t.u."
+%def: "outputFileName" "data.csv"
+
+
+%agent: A(c{=0/+=0})
+
+%plot: [T]
+'tick' A(c{=0})- @ 1
+/*0*/%mod: (|A(c{=1})| = 1) do $PRINTF ""; $PRINTF "Counter c of agent A reached maximum"; $STOP "counter_perturbation.ka"; repeat [false]
+
+%init: 1 A(c{=0})
+
+%mod: [E] = 1 do $STOP;