application.properties

# Configuration file
%dev.hello=hello my
hello=hello world

# Quarkus cors settings
quarkus.http.cors=true
quarkus.http.cors.origins=http://localhost:8081
quarkus.http.cors.headers=accept, authorization, content-type, x-requested-with
quarkus.http.cors.methods=GET, OPTIONS

# Amount of threads for calculating the verifications
verifier.threads=8
%dev.verifier.threads=4
verifier.package=de.unikoblenz.fgbks.core.dmn.verification.verifier