Commit a378377

committed

Move lambda test script to test_goto_functions.desc

We're about to add a real test of the same lambdas, so first we move what will be an ancillary test out of the way

1 parent b3d0c57 commit a378377Copy full SHA for a378377

1 file changed

+0

-0

lines changed

jbmc/regression/jbmc/lambda1
- test_goto_functions.desc

1 file changed

+0

-0

lines changed

`‎jbmc/regression/jbmc/lambda1/test.desc renamed to ‎jbmc/regression/jbmc/lambda1/test_goto_functions.desc`

File renamed without changes.

Comments

(0)