Skip to content

The output of the map operation where a constant String is wrapped into an object is not readable by the symbolic listener #17

Description

@maligulzar

static final map4 apply(TupleSIS s) {
if( s == null ){
return null;
}else if( s._2 == null ){
return null; }else
{
return (s._2())._1() <= 40 ? (s._2())._1() <= 15 ? new map4("walk",(1)) : new map4("public",(1)) : new map4("car",(1));
}

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions