StarExec
Would you like to react to this message? Create an account in a few clicks or log in to continue.
StarExec

This is a forum for discussing the StarExec solver execution service, at starexec.org.


What postprocessor will be used for SMTCOMP

StarExec :: Summer 2014 Competitions/Events

Go down

What postprocessor will be used for SMTCOMP Empty What postprocessor will be used for SMTCOMP

Post by lianah Thu May 22, 2014 3:16 pm

Hello,

I recently encountered some issues with the Starexec SMT postprocessor (not the strict one), where it could report as wrong results that are correct (see post: https://starexec.forumotion.com/t44-smt-postprocessor-documentation). I was wondering what postprocessor is going to be used in SMTCOMP. Will it be the SMT strict postprocessor?

Thank you,

Liana

lianah

Posts : 11
Join date : 2014-04-23

Back to top Go down

Back to top

- Similar topics

StarExec :: Summer 2014 Competitions/Events

 
Permissions in this forum:
You cannot reply to topics in this forum