diff options
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/run_tests.ml | 2 | ||||
| -rw-r--r-- | src/test/test1.sail | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/test/run_tests.ml b/src/test/run_tests.ml index ddad139a..3720e5e2 100644 --- a/src/test/run_tests.ml +++ b/src/test/run_tests.ml @@ -4,7 +4,7 @@ let tests = [ "test3", Test3.defs; "pattern", Pattern.defs; "vectors", Vectors.defs; - "power", Power.defs; +(* "power", Power.defs;*) ] ;; let run_all () = List.iter Run_interp.run tests ;; diff --git a/src/test/test1.sail b/src/test/test1.sail index 0cb592d8..d75206fd 100644 --- a/src/test/test1.sail +++ b/src/test/test1.sail @@ -14,8 +14,8 @@ let bit v = bitzero let ( bit [ 32 ] ) v1 = 0b101 (* scattered function definition and union definition *) -scattered function unit f scattered typedef ast = const union +scattered function unit f union ast member bit * bit * bit A function clause f ( A (a,b,c) ) = () @@ -26,8 +26,8 @@ function clause f ( B (a,b) ) = () union ast member bit C function clause f ( C (a) ) = () -end f end ast +end f function bit sw s = switch s { case 0 -> bitzero } |