Skip to content
Snippets Groups Projects
Select Git revision
  • 34944f9c5f1e74b2b0db902833736dd718c3a427
  • master default protected
  • release/1.1.4
  • release/1.1.3
  • release/1.1.1
  • 1.4.2
  • 1.4.1
  • 1.4.0
  • 1.3.0
  • 1.2.1
  • 1.2.0
  • 1.1.5
  • 1.1.4
  • 1.1.3
  • 1.1.1
  • 1.1.0
  • 1.0.9
  • 1.0.8
  • 1.0.7
  • v1.0.5
  • 1.0.5
21 results

ConfigfileEvaluator.java

Blame
    • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    c6-CFTestingSignal.buc 512 B 
    <?xml version="1.0" encoding="UTF-8" standalone="no"?>
<org.eventb.core.contextFile org.eventb.core.configuration="org.eventb.core.fwd" version="3">
<org.eventb.core.extendsContext name="'" org.eventb.core.target="c5-signals"/>
<org.eventb.core.constant name="(" org.eventb.core.identifier="CF_TESTING_SIGNAL"/>
<org.eventb.core.axiom name=")" org.eventb.core.label="CF_TESTING_SIGNAL-type" org.eventb.core.predicate="CF_TESTING_SIGNAL ∈ SIGNAL" org.eventb.core.theorem="true"/>
</org.eventb.core.contextFile>