Skip to content

Commit

Permalink
fix: Error in the feature ide reader and the tests for diagnosis
Browse files Browse the repository at this point in the history
  • Loading branch information
jagalindo committed Nov 14, 2023
1 parent 90768c7 commit d0d527d
Showing 1 changed file with 0 additions and 14 deletions.
14 changes: 0 additions & 14 deletions tests/unit_tests/diagnosis_test.py
Original file line number Diff line number Diff line change
Expand Up @@ -7,20 +7,6 @@
from flamapy.metamodels.pysat_diagnosis_metamodel.operations import PySATDiagnosis, PySATConflict


# def test_with_DiscoverMetamodels():
# """
# Won't work because the configuration is not set
# We want an optional configuration
# In fact, Glucose3FastDiag implements ValidConfiguration, so it requires a configuration.
# """
# dm = DiscoverMetamodels()
# result = dm.use_operation_from_file("Glucose3FastDiag", "./tests/resources/smartwatch_inconsistent.fide")
# print(result)
# result = dm.use_operation_from_file("Glucose3FastDiag", "./tests/resources/smartwatch_consistent.fide")
# print(result)
# assert result == ['Diagnosis: [[-8, -4]]']


def test_fastdiag_all():
"""
Identify all diagnoses
Expand Down

0 comments on commit d0d527d

Please sign in to comment.