1

ACL2 終了コード 137 はどういう意味ですか? 出力は次のようになります。

Form:  ( INCLUDE-BOOK "centaur/ubdds/param" ...)
Rules: NIL
Time:  0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
:REDUNDANT
Note: not introducing any A4VEC field bindings for A, since none of
its fields appear to be used.
Note: not introducing any MODSCOPE field bindings for SCOPE, since
none of its fields appear to be used.


;;; Starting full GC,  10,736,500,736 bytes allocated.
Exit code from ACL2 is 137
top.cert seems to be missing
4

2 に答える 2

0

137 の終了コードは、-9 で bash によって強制終了されたことを示しています。

参考：http ://www.tldp.org/LDP/abs/html/exitcodes.html

于 2015-06-04T20:52:46.897 に答える