helm/proofChecker/proofChecker.conf.xml.sample

   1 <?xml version="1.0" encoding="utf-8"?>
   2 <helm_registry>
   3  <section name="proofchecker">
   4   <key name="port">58084</key>
   5  </section>
   6  <section name="getter">
   7   <key name="mode">remote</key>
   8   <key name="url">http://localhost:58081/</key>
   9   <!-- <key name="url">http://mowgli.cs.unibo.it:58081/</key> -->
  10  </section>
  11 </helm_registry>