Issues

• Project does not compile with Java 21 language level

  ModelInference/synoptic#424 · Filter by author cushon opened on Jan 16, 2024

• Internal Synoptic error: ClassCastException

  ModelInference/synoptic#420 · Filter by author MJafarMashhadi opened on Oct 16, 2018
  4

• Add k-tails entry point

  ModelInference/synoptic#416 · Filter by author ohmann opened on Oct 5, 2017
  

• ant requires hg to be installed; convert this code to use git instead

  ModelInference/synoptic#413 · Filter by author bestchai opened on Nov 23, 2016

• Log parser not finding matches

  ModelInference/synoptic#408 · Filter by author akhirsch-gt opened on Aug 4, 2016
  2

• Investigate effects of model checking with variably-typed partitions

  InvariantsPriority-HighType-Task
  ModelInference/synoptic#405 · Filter by author ohmann opened on Mar 29, 2016
  

• Compute delta between Synoptic and Perfume model

  ModelInference/synoptic#401 · Filter by author ohmann opened on Dec 22, 2015

• parseOutOfOrderMultipleRelation() is a flaky test

  Priority-LowTestingType-Defect
  ModelInference/synoptic#400 · Filter by author ohmann opened on Oct 20, 2015

• Regex capture groups silently require whitespace

  Priority-MediumTraceParser
  ModelInference/synoptic#397 · Filter by author ohmann opened on Sep 15, 2015
  2

• Do not display the initial and terminal nodes in the GWT model

  auto-migratedGWTPriority-MediumType-Enhancement
  ModelInference/synoptic#395 · Filter by author GoogleCodeExporter opened on May 4, 2015

• Initial node in GWT model has wrong counts/probabilities

  auto-migratedGWTPriority-HighType-Defect
  ModelInference/synoptic#394 · Filter by author GoogleCodeExporter opened on May 4, 2015

• Dependent Tests Bug In Synoptic

  auto-migratedPriority-LowType-Defect
  ModelInference/synoptic#389 · Filter by author GoogleCodeExporter opened on May 4, 2015

• Stopping all child threads/process with addShutdownHook

  auto-migratedPriority-MediumType-Defect
  ModelInference/synoptic#383 · Filter by author GoogleCodeExporter opened on May 4, 2015

• Separate ordering and metric logic in Perfume parser

  auto-migratedPerfDebuggingPriority-MediumType-Enhancement
  ModelInference/synoptic#384 · Filter by author GoogleCodeExporter opened on May 4, 2015

• Imprecise abstraction of observed terminal states

  auto-migratedCSightPriority-MediumType-Defect
  ModelInference/synoptic#381 · Filter by author GoogleCodeExporter opened on May 4, 2015

• Check for jar changeset equality in helper sh scripts

  auto-migratedPriority-LowType-Enhancement
  ModelInference/synoptic#382 · Filter by author GoogleCodeExporter opened on May 4, 2015

• Add support computation to invariants of type InterruptedByInvariant

  auto-migratedPriority-LowType-Enhancement
  ModelInference/synoptic#379 · Filter by author GoogleCodeExporter opened on May 4, 2015

• Check multiple invariants for a CFSM with Spin

  auto-migratedDynopticPerformancePriority-MediumType-Defect
  ModelInference/synoptic#378 · Filter by author GoogleCodeExporter opened on May 4, 2015
  1

• Perfume is nondeterministic, even on a fixed seed

  auto-migratedPriority-HighType-Defect
  ModelInference/synoptic#371 · Filter by author GoogleCodeExporter opened on May 4, 2015

• Document how log origin and FSM type impact invariants and model

  auto-migratedPerfDebuggingPriority-MediumType-Enhancement
  ModelInference/synoptic#370 · Filter by author GoogleCodeExporter opened on May 4, 2015
  1

• Report progress for refinement and merging

  auto-migratedPriority-LowType-Enhancement
  ModelInference/synoptic#368 · Filter by author GoogleCodeExporter opened on May 4, 2015

• Create options to retain Initial, Terminal events

  auto-migratedPriority-MediumType-Enhancement
  ModelInference/synoptic#367 · Filter by author GoogleCodeExporter opened on May 4, 2015

• .dtrace files don't delete properly on Windows

  auto-migratedPriority-MediumType-Defect
  ModelInference/synoptic#366 · Filter by author GoogleCodeExporter opened on May 4, 2015

• The --runAllTests option assumes a test-output location

  auto-migratedMaintainabilityPriority-MediumType-Defectusa
  ModelInference/synoptic#358 · Filter by author GoogleCodeExporter opened on May 4, 2015

• Improving IntrBy comments and surfacing differences between TO invariant miners

  auto-migratedPerfDebuggingPriority-MediumType-Enhancement
  ModelInference/synoptic#353 · Filter by author GoogleCodeExporter opened on May 4, 2015
  1