Hard code *file tactic.
authorRichard W.M. Jones <rjones@redhat.com>
Fri, 27 Dec 2019 19:05:03 +0000 (19:05 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Fri, 27 Dec 2019 19:05:03 +0000 (19:05 +0000)
commite019d14d15d5caa90892f4c21d8424dbc95067ae
treeb06997923fc638879ee5c69c9b73845154c7b535
parent3e80e1ab9b032346a0961c3e925f1ef8adca1cc3
Hard code *file tactic.
src/eval.ml
tests/file1.c [new file with mode: 0644]
tests/test1.gl