fixing tests, started cleaning

test/unit_tests/arbiter_2/run/prsim.out

@@ -1,39 +0,0 @@
-a._v a.a a.u a.v a._u a.b 
-reset done
-	         0 a.a : 0
-	         0 a.b : 0
-	         1 a._u : 1  [by a.a:=0]
-	      7092 a._v : 1  [by a.b:=0]
-	      7094 a.v : 0  [by a._v:=1]
-	     10468 a.u : 0  [by a._u:=1]
-
-step 1.1 finished
-	     10468 a.a : 1
-	     10468 a.b : 1
-	     15221 a._u : 0  [by a.a:=1]
-	     15335 a.u : 1  [by a._u:=0]
-
-step 1.2 finished
-	     15335 a.a : 0
-	     15335 a.b : 0
-	     80701 a._u : 1  [by a.a:=0]
-	     82427 a.u : 0  [by a._u:=1]
-
-step 2.1 finished
-	     82427 a.a : 1
-	     82427 a.b : 1
-	     82466 a._u : 0  [by a.a:=1]
-	     82957 a.u : 1  [by a._u:=0]
-
-step 2.2 finished
-	     82957 a.a : 0
-	     82957 a.b : 0
-	     82970 a._u : 1  [by a.a:=0]
-	     83010 a.u : 0  [by a._u:=1]
-
-step 3.1 finished
-	     83010 a.b : 1
-	     83425 a._v : 0  [by a.b:=1]
-	     83445 a.v : 1  [by a._v:=0]
-
-step 3.2 finished

test/unit_tests/arbiter_2/run/test.prs

@@ -1,12 +0,0 @@
-= "GND" "GND"
-= "Vdd" "Vdd"
-= "Reset" "Reset"
-"a.a"&"a._v"->"a._u"-
-~"a.a"|~"a._v"->"a._u"+
-"a.b"&"a._u"->"a._v"-
-~"a.b"|~"a._u"->"a._v"+
-"a._u"->"a.u"-
-~("a._u")->"a.u"+
-"a._v"->"a.v"-
-~("a._v")->"a.v"+
-mk_excllo("a._u","a._v")