diff options
Diffstat (limited to 'src/test')
| l--------- | src/test/power.sail | 1 | ||||
| -rw-r--r-- | src/test/run_tests.ml | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/src/test/power.sail b/src/test/power.sail new file mode 120000 index 00000000..c6415fd5 --- /dev/null +++ b/src/test/power.sail @@ -0,0 +1 @@ +../../../../rsem/idl/power/generated/extract-full.sail
\ No newline at end of file diff --git a/src/test/run_tests.ml b/src/test/run_tests.ml index 30cd7071..ddad139a 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 ;; |