Lexer should throw error for illegal Unicode characters
Description
Environment
Attachments
- 10 Mar 2016, 06:00 PM
Gliffy Diagrams
Activity
Jenkins Build Server April 1, 2016 at 10:29 AM
SUCCESS: Integrated in Jenkins build ProB_Tests_Linux64 #9807 (See http://cobra.cs.uni-duesseldorf.de/jenkins/job/ProB_Tests_Linux64/9807/)
Jenkins Build Server April 1, 2016 at 6:38 AM
SUCCESS: Integrated in Jenkins build ProB_Tests_SMT_Solvers #469 (See http://cobra.cs.uni-duesseldorf.de/jenkins/job/ProB_Tests_SMT_Solvers/469/)
Jenkins Build Server March 17, 2016 at 12:52 PM
SUCCESS: Integrated in Jenkins build ProB_Tests_Linux64_On_Commit #2625 (See http://cobra.cs.uni-duesseldorf.de/jenkins/job/ProB_Tests_Linux64_On_Commit/2625/)
Jenkins Build Server March 17, 2016 at 11:42 AM
SUCCESS: Integrated in Jenkins build ProB_Tests_Linux64_On_Commit #2624 (See http://cobra.cs.uni-duesseldorf.de/jenkins/job/ProB_Tests_Linux64_On_Commit/2624/)
Jenkins Build Server March 17, 2016 at 10:53 AM
SUCCESS: Integrated in Jenkins build ProB_Tests_Linux64_On_Commit #2623 (See http://cobra.cs.uni-duesseldorf.de/jenkins/job/ProB_Tests_Linux64_On_Commit/2623/)
add test for https://probjira.atlassian.net/browse/PARSERLIB-44#icft=PARSERLIB-44 (leuschel: rev 437a654cae37dfaa5ea3e784fdbb194346b5b164)
add variation of ticket file (https://probjira.atlassian.net/browse/PARSERLIB-44#icft=PARSERLIB-44) (leuschel: rev e9139573e5b894608f22da9d87140f97bad84782)
Details
Details
Assignee
Reporter
Priority
Major
For the following machine (resulting from a copy & paste from a PDF) the --> is built-up using unicode character 8722 for -. The error is extremely hard to track down for the user.
MACHINE BinPacking
SETS
OBJECTS = {o1, o2, o3, o4, o5, o6, o7}
DEFINITIONS
sol(xx) == (xx : OBJECTS −−> (1..card(OBJECTS));
END
Sidenote: the error position is outside of the DEFINITION; not inside it.