• Robert Ricci's avatar
    Change to the way we handle trivial links - add a new flag that can · d564f690
    Robert Ricci authored
    go on the end of a link line in the top file, trivial_ok . This means
    that it's okay to map the virtual link to a trivial link. By default,
    it will not be permissible to use trivial links.
    Right now, however, trivial links are OK by default, but that will
    change once assign_wrapper flags all simulated links as trivial_ok .
score.cc 40.6 KB