sepcomp: add option `--guard-call`
authorJean Privat <jean@pryen.org>
Tue, 24 Feb 2015 03:19:10 +0000 (10:19 +0700)
committerJean Privat <jean@pryen.org>
Tue, 24 Feb 2015 03:19:10 +0000 (10:19 +0700)
commit9a04f8bb4313fd9b26f48dd8749cd553f8d93a6a
tree7e74e21862f55d98ab71e958d1f2b5d029fbe583
parent740d790bf3cfa36d73c1719c587b502f2cafe93d
sepcomp: add option `--guard-call`

Signed-off-by: Jean Privat <jean@pryen.org>
src/compiler/separate_compiler.nit