# Configuration file
# Quarkus cors settings
quarkus.http.cors=true
%dev.quarkus.http.cors.origins=http://localhost:8081,http://192.168.2.109:8081
quarkus.http.cors.origins=http://localhost,http://dmn.fg-bks.uni-koblenz.de,http://141.26.209.83
quarkus.http.cors.headers=accept,authorization,content-type,x-requested-with
quarkus.http.cors.methods=GET,POST,OPTIONS
# Amount of threads for calculating the verifications
verifier.threads=8
# No parallel execution in dev mode
%dev.verifier.threads=1
# Active or inactive the verifier, default value is true
verifier.DateVerification=true
verifier.EmptyOutputVerification=true
verifier.EquivalentStringVerification=true
verifier.IdenticalRuleVerification=true
verifier.InputValueSyntaxVerification=true
verifier.LonelyDataInputVerification=true
verifier.MissingInputColumnVerification=true
verifier.MissingInputDataVerification=true
verifier.MissingInputValueVerification=true
verifier.MissingOutputValueVerification=true
verifier.MissingRuleVerification=true
verifier.MultipleInputDataVerification=true
verifier.OverlappingVerification=true
verifier.PartialReductionVerification=true
verifier.PredefinedExistingValueVerification=true
verifier.PredefinedMissingValueVerification=true
verifier.SubsumptionVerification=true
# Scan package for verifier
verifier.package=de.unikoblenz.fgbks.core.dmn.verification.verifier
# Logging
quarkus.log.console.color=false
quarkus.log.console.level=INFO
%dev.quarkus.log.console.level=DEBUG
# Path to wordnet
%dev.wordnet.path=C:\\Users\\jonas\\IdeaProjects\\ma-jonasblatt-dmn-verifier\\dict
wordnet.path=/home/ubuntu/wordnet/dict