time command: Add test

GaloisInc · Aug 30, 2022 · d1a9971 · d1a9971
1 parent 0b49544
commit d1a9971
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/tests/issues/issue1415.icry b/tests/issues/issue1415.icry
@@ -0,0 +1,3 @@
+:set timeQuiet=on
+:time 0x1 + 0x2
+:t it
diff --git a/tests/issues/issue1415.icry.stdout b/tests/issues/issue1415.icry.stdout
@@ -0,0 +1,2 @@
+Loading module Cryptol
+it : {avgTime : Float 11 53, avgCpuTime : Float 11 53, avgCycles : Integer}
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		Loading module Cryptol
		it : {avgTime : Float 11 53, avgCpuTime : Float 11 53, avgCycles : Integer}