{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/PropRatt","name":"PropRatt","description":"PropRatt is a property-based testing framework for testing Async Rattus programs.\nThe key component of PropRatt is its specification language, which extends basic linear temporal logic with\na means to express properties of several concurrent signals. This\nallows users to express temporal properties that relate data coming from\ndifferent signals at different points in time.\n\nMore details about the specification language can be found in the accompanying paper.\n\nExample specifications written in PropRatt:\n\nSpecification for a simple GUI application\n\nSpecification for basic signal combinators (map, zip, scan, etc.)","version":"0.2.0.1","softwareVersion":"0.2.0.1","license":"https://spdx.org/licenses/BSD-3-Clause","codeRepository":"https://github.com/pa-ba/PropRatt","issueTracker":"https://github.com/pa-ba/PropRatt/issues","keywords":["bsd3","library","program","testing","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"PatrickBahr"}],"author":[{"@type":"Person","name":"PatrickBahr"}],"copyrightHolder":[{"@type":"Person","name":"PatrickBahr"}],"dateCreated":"2025-10-14","dateModified":"2026-09-18","datePublished":"2026-09-18","copyrightYear":2025,"downloadUrl":"https://hackage.haskell.org/package/PropRatt-0.2.0.1/PropRatt-0.2.0.1.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/PropRatt"]}