Skip to content

Commit 5c6ace7

Browse files
sim642sim642
committed
Remove now non-compiling YamlWitnessConvert
1 parent ff91232 commit 5c6ace7

File tree

2 files changed

+1
-63
lines changed

2 files changed

+1
-63
lines changed

‎tests/util/dune‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
(executables
2-
(names yamlWitnessStrip yamlWitnessStripDiff yamlWitnessConvert multilibConfigure)
2+
(names yamlWitnessStrip yamlWitnessStripDiff multilibConfigure)
33
(libraries
44
batteries.unthreaded
55
goblint-cil

‎tests/util/yamlWitnessConvert.ml‎

Lines changed: 0 additions & 62 deletions
This file was deleted.

0 commit comments

Comments
 (0)