ILAng
  • Introduction
  • Getting Started
    • Installing ILAng
    • ILAng with CMake
    • ILAng with Python
    • ILAng in Docker
  • Modeling
    • ILA Model
    • Architectural States
      • Expressions
      • Uninterpreted function
    • Instructions
    • Hierarchical ILA
    • Conclusion
  • Synthesis
    • Writing Templates
    • Interfacing Simulators
    • Synthesis Results
    • Conclusion
  • Verification
    • Refinement Relation
    • Verification Target
    • Examples
    • Notes
  • Development
    • Release Notes
Powered by GitBook
On this page

Was this helpful?

  1. Verification

Notes

Some useful tricks

Remove trailing symbols

Copying text across platforms (e.g., Linux and Windows) may sometime results in trailing symbols. To resolve the issue:

sed -e "s/^M//" filename > newfilename
PreviousExamplesNextDevelopment

Last updated 5 years ago

Was this helpful?