.idea/artifacts/jpf_classes.xml

   1 <component name="ArtifactManager">
   2   <artifact type="jar" build-on-make="true" name="jpf-classes">
   3     <output-path>$PROJECT_DIR$/build</output-path>
   4     <root id="archive" name="jpf-classes.jar">
   5       <element id="module-output" name="classes" />
   6       <element id="module-output" name="annotations" />
   7       <element id="directory" name="gov">
   8         <element id="directory" name="nasa">
   9           <element id="directory" name="jpf">
  10             <element id="directory" name="vm">
  11               <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/vm/Verify.class" />
  12             </element>
  13             <element id="directory" name="util">
  14               <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/util/TypeRef.class" />
  15               <element id="directory" name="test">
  16                 <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/util/test/TestJPF.class" />
  17                 <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/util/test/TestMultiProcessJPF.class" />
  18               </element>
  19             </element>
  20           </element>
  21         </element>
  22       </element>
  23     </root>
  24   </artifact>
  25 </component>