Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Removal of unused metta_reader.pl (details)
  2. fix of one intersection test (details)
Commit 0ee76e8aea42edf18d0c8605edf83fb357391b9b by Douglas R Miles
Removal of unused metta_reader.pl
The file was removedsrc/canary/metta_reader.pl
Commit de5171e663a6ea7a469eb7134c3c08528de6ff09 by Douglas R Miles
fix of one intersection test
The file was modifiedtests/baseline_compat/hyperon-mettalog_sanity/intersection_tests.metta (diff)