テストを修正

Fork: 0

nitta-lab / RDLProofSystem

Browse code テストを修正 feature/axiom-inference-mk2
1 parent 344f328 commit 1d63340e3f9253a696dea0a29e60ea80d9ef46e8 Sakoda2269 authored 19 days ago

Patch

Unified Split

Showing 1 changed file

Ignore Space Show notes View src/test/java/inference/inferencerule/DependencyAxiomTest.java

Show line notes below