テスト修正

Fork: 0

nitta-lab / RDLProofSystem

Browse code テスト修正 feature/axiom-inference-mk2 feature/axiom_inference fix/dependencyTerm-constructor fixResource main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent 60d6177 commit 6227835d861ea38a4cef885d27d375bf9e37a633 Sakoda2269 authored on 28 Aug

Patch

Unified Split

Showing 2 changed files

Ignore Space Show notes View src/test/java/terms/DependencyTermTest.java

Ignore Space Show notes View src/test/java/terms/DependencyTest.java

Show line notes below