実行がspecmanに終了した場合はどうすれば自動的にルーチンを呼び出すことができますか？

Question

テストはSpecmanに終了したときに関数が呼び出されるように指定する方法はありますか？

私は）（Cさんのatexitに似たものを探しています。

Answer 1

は、私の自己を試していないが、しかし、あなたはおそらくfinalize()のために定義されているquit()またはany_struct方法を見ている必要があります。あなたはsysのためにそれを拡張しようとすることができます。

extend sys {
    finalize() is also {
        // ...
    };
};

乾杯、 ダニエル