Skip to content

Commit 2cce3fc

Browse files
committed
testing
1 parent b1a7a68 commit 2cce3fc

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

Rexamples/rrun

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
#!/bin/sh
2+
3+
../Main/wgdb free
4+
../Main/wgdb importotter $1
5+
../Main/wgdb runreasoner
6+

0 commit comments

Comments
 (0)