#
#   Imandra Inc.
#
#   speclogician/data/trace.py
#

from .artifact import TraceArtifact

class TestTrace (TraceArtifact):
    """
    Test trace formalization
    """    
    __test__ = False # this will let pytest know it's not something we should attempt to test

    name : str # Test case name
    filepath : str = "" # Original test filepath
    language : str | None = None # Language of the original source code
    contents : str | None = None # Original test contents

class LogTrace(TraceArtifact):
    """
    Log tace formalization
    """

    filename : str # 
    contents : str  # Contents of the log entry
