Mercurial > hg > Members > kono > jpf-core

view .idea/examples.iml @ 21:caa0924e093d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and ControlEvent being subclasses of SystemEvent added Loggable.setLogLevel changed old UserHeuristic to use a Verify.heuristicValue instead of a hardwired "Main" class with hardwired fields (which was just an outdated leftover). Call Verify.setHeuristicValue() to control state priorities from the SUT. This also fixes the bug that UserHeuristic was not properly checking for "Main" resolution.
author Peter Mehlitz <pcmehlitz@gmail.com>
date Fri, 10 Apr 2015 20:53:11 -0700
parents 08ca336d5928
children
line wrap: on
line source

<?xml version="1.0" encoding="UTF-8"?>
<module type="JAVA_MODULE" version="4">
  <component name="NewModuleRootManager" inherit-compiler-output="false">
    <output url="file://$MODULE_DIR$/build/examples" />
    <output-test url="file://$MODULE_DIR$/build/examples" />
    <exclude-output />
    <content url="file://$MODULE_DIR$/src/examples">
      <sourceFolder url="file://$MODULE_DIR$/src/examples" isTestSource="false" />
    </content>
    <orderEntry type="inheritedJdk" />
    <orderEntry type="sourceFolder" forTests="false" />
    <orderEntry type="module" module-name="annotations" />
    <orderEntry type="module" module-name="main" />
    <orderEntry type="module" module-name="peers" />
  </component>
</module>