diff options
| author | Inari Listenmaa <inari.listenmaa@gmail.com> | 2021-06-18 05:27:38 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-18 05:27:38 +0200 |
| commit | 5a53a3824730d42d148fa840f6c821786dfa7c53 (patch) | |
| tree | fdafa475aee0377593f3e5e3f88b54af09e89a4c /testsuite/runtime/linearize/linearize.gfs.gold | |
| parent | a7ab610f95563ee666f18480c613a912576dfcea (diff) | |
| parent | 02671cafd0049f0793206a7d13c47a74e89ae2e8 (diff) | |
Merge pull request #114 from 1Regina/fix-tests
Fix tests
Diffstat (limited to 'testsuite/runtime/linearize/linearize.gfs.gold')
| -rw-r--r-- | testsuite/runtime/linearize/linearize.gfs.gold | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/testsuite/runtime/linearize/linearize.gfs.gold b/testsuite/runtime/linearize/linearize.gfs.gold index 8a17ab506..7749644f1 100644 --- a/testsuite/runtime/linearize/linearize.gfs.gold +++ b/testsuite/runtime/linearize/linearize.gfs.gold @@ -1,30 +1,20 @@ ?1 is even
-
exists x such that x is even
-
a
-
aa a
-
a b
-
abcd is string
-
100 is integer
-
12.4 is float
-
xyz is string
-
-
|