3

私は正規の実装を持つ型システムの Redex でモデルを構築することに取り組んでいます。モデルを実際の実装に対してファジング テストするために、redex-check を使用したいと考えています。

実装 (アダプターを使用) は抽象構文を使用できるため、ファザーによって生成された用語を実装に渡す方法が必要です。これを行う方法はありますか？

4

1 に答える 1