Checker is not registered to the factory

[marcm250]

Hey Jiří Slabý,

I'm trying to run Stanse against a .c file and I can't get it to work for some reason. I installed Ant, antlr3, and Java 6 jdk but when I try running this:

java -jar /home/stanse/stanse-1.1.2/stanse.jar -c AutomatonChecker/locking.xml /home/stanse/Desktop/stansetest.c

I get this error message:

Stanse version "1.1.2"
Copyright (c) 2008-2010 Masaryk University, Brno

Checking for bugs:
<-> File: /home/stanse/Desktop/stansetest.c
line 1:0 [translationUnit, externalDeclaration, declarationSpecifiers] required (...)+ loop did not match anything at input [@0,0:3='main',<56>,1:0]
ERROR - can't parse '/home/stanse/Desktop/stansetest.c.preproc': parser
Exception in thread "Thread-0" java.lang.UnsupportedOperationException: Checker 'AutomatonChecker/locking.xml' is not registered to the factory.
at cz.muni.stanse.checker.CheckerFactory.getCheckerCreator(CheckerFactory.java:54)
at cz.muni.stanse.checker.CheckerFactory.createInterprocedural(CheckerFactory.java:17)
at cz.muni.stanse.configuration.CheckerConfiguration.getChecker(CheckerConfiguration.java:35)
at cz.muni.stanse.configuration.Configuration.evaluateWait(Configuration.java:153)
at cz.muni.stanse.configuration.Configuration$8.run(Configuration.java:225)

I'm not too sure what is happening. Do I have to register the .xml chckers? And if so, how do I do that?

Thanks!!!