├── .dockerignore ├── .github ├── dependabot.yml ├── docs │ └── gobra.png ├── license-check │ ├── config.json │ └── headers │ │ ├── BSD-3-SIDM.txt │ │ ├── CC0-Windows.txt │ │ ├── CC0.txt │ │ ├── Go.txt │ │ ├── MPLv2-ETH-hashtags.txt │ │ ├── MPLv2-ETH-xml.txt │ │ └── MPLv2-ETH.txt ├── test-and-measure-ram.sh └── workflows │ ├── license-check.yml │ ├── test.yml │ └── update-submodules.yml ├── .gitignore ├── .gitmodules ├── GobraChopper.conf ├── LICENSE ├── README.md ├── bors.toml ├── conf └── logback.xml ├── docs ├── licenses │ └── GO.txt └── tutorial.md ├── encoding-sketches └── interfaces.vpr ├── genparser.sh ├── go-semantic-sketches └── interface-invariant-arg-and-return-type.go ├── project ├── build.properties └── plugins.sbt ├── src ├── main │ ├── antlr4 │ │ ├── GoLexer.g4 │ │ ├── GoParser.g4 │ │ ├── GobraLexer.g4 │ │ └── GobraParser.g4 │ ├── java │ │ └── viper │ │ │ └── gobra │ │ │ └── frontend │ │ │ ├── GobraParserBase.java │ │ │ └── LICENSE │ ├── resources │ │ ├── README.md │ │ ├── builtin │ │ │ └── builtin.gobra │ │ ├── noaxioms │ │ │ └── sets.vpr │ │ └── stubs │ │ │ ├── bytes │ │ │ └── bytes.gobra │ │ │ ├── encoding │ │ │ └── binary │ │ │ │ └── binary.gobra │ │ │ ├── errors │ │ │ ├── errors.gobra │ │ │ └── wrap.gobra │ │ │ ├── fmt │ │ │ └── fmt.gobra │ │ │ ├── net │ │ │ ├── ip.gobra │ │ │ ├── iprawsock.gobra │ │ │ ├── net.gobra │ │ │ └── udpsock.gobra │ │ │ ├── strconv │ │ │ ├── atoi.gobra │ │ │ └── itoa.gobra │ │ │ ├── strings │ │ │ └── strings.gobra │ │ │ ├── sync │ │ │ ├── mutex.gobra │ │ │ └── waitgroup.gobra │ │ │ └── time │ │ │ ├── sleep.gobra │ │ │ ├── time.gobra │ │ │ └── zoneinfo.gobra │ └── scala │ │ └── viper │ │ └── gobra │ │ ├── Gobra.scala │ │ ├── ast │ │ ├── frontend │ │ │ ├── Ast.scala │ │ │ ├── AstPattern.scala │ │ │ └── PrettyPrinter.scala │ │ ├── internal │ │ │ ├── Node.scala │ │ │ ├── PrettyPrinter.scala │ │ │ ├── Program.scala │ │ │ ├── Rewritable.scala │ │ │ ├── theory │ │ │ │ ├── Comparability.scala │ │ │ │ └── TypeHead.scala │ │ │ ├── transform │ │ │ │ ├── CGEdgesTerminationTransform.scala │ │ │ │ ├── ConstantPropagation.scala │ │ │ │ ├── InternalTransform.scala │ │ │ │ └── OverflowChecksTransform.scala │ │ │ └── utility │ │ │ │ └── Nodes.scala │ │ └── printing │ │ │ └── PrettyPrinterCombinators.scala │ │ ├── backend │ │ ├── Backend.scala │ │ ├── BackendVerifier.scala │ │ ├── Carbon.scala │ │ ├── Silicon.scala │ │ ├── ViperBackends.scala │ │ ├── ViperServer.scala │ │ └── ViperVerifier.scala │ │ ├── frontend │ │ ├── Config.scala │ │ ├── Desugar.scala │ │ ├── Gobrafier.scala │ │ ├── InformativeErrorListener.scala │ │ ├── PackageResolver.scala │ │ ├── ParseTreeTranslator.scala │ │ ├── Parser.scala │ │ ├── ReportFirstErrorStrategy.scala │ │ ├── Source.scala │ │ ├── TranslationHelpers.scala │ │ └── info │ │ │ ├── ExternalTypeInfo.scala │ │ │ ├── Info.scala │ │ │ ├── InfoDebugPrettyPrinter.scala │ │ │ ├── TypeInfo.scala │ │ │ ├── base │ │ │ ├── BuiltInMemberTag.scala │ │ │ ├── SymbolTable.scala │ │ │ └── Type.scala │ │ │ └── implementation │ │ │ ├── Errors.scala │ │ │ ├── TypeInfoImpl.scala │ │ │ ├── property │ │ │ ├── Addressability.scala │ │ │ ├── Assignability.scala │ │ │ ├── BaseProperty.scala │ │ │ ├── Comparability.scala │ │ │ ├── ConstantEvaluation.scala │ │ │ ├── Convertibility.scala │ │ │ ├── DependencyAnalysis.scala │ │ │ ├── Executability.scala │ │ │ ├── Implements.scala │ │ │ ├── PointsTo.scala │ │ │ ├── StrictAssignMode.scala │ │ │ ├── TypeIdentity.scala │ │ │ ├── TypeMerging.scala │ │ │ └── UnderlyingType.scala │ │ │ ├── resolution │ │ │ ├── AdvancedMemberSet.scala │ │ │ ├── AmbiguityResolution.scala │ │ │ ├── Enclosing.scala │ │ │ ├── LabelResolution.scala │ │ │ ├── MemberPath.scala │ │ │ ├── MemberResolution.scala │ │ │ └── NameResolution.scala │ │ │ └── typing │ │ │ ├── BaseTyping.scala │ │ │ ├── BuiltInMemberTyping.scala │ │ │ ├── ExprTyping.scala │ │ │ ├── IdTyping.scala │ │ │ ├── ImportTyping.scala │ │ │ ├── MemberTyping.scala │ │ │ ├── MiscTyping.scala │ │ │ ├── ProgramTyping.scala │ │ │ ├── StmtTyping.scala │ │ │ ├── TypeTyping.scala │ │ │ └── ghost │ │ │ ├── GhostExprTyping.scala │ │ │ ├── GhostIdTyping.scala │ │ │ ├── GhostMemberTyping.scala │ │ │ ├── GhostMiscTyping.scala │ │ │ ├── GhostStmtTyping.scala │ │ │ ├── GhostTypeTyping.scala │ │ │ └── separation │ │ │ ├── GhostAssignability.scala │ │ │ ├── GhostClassifier.scala │ │ │ ├── GhostLessPrinter.scala │ │ │ ├── GhostSeparation.scala │ │ │ ├── GhostType.scala │ │ │ ├── GhostTyping.scala │ │ │ ├── GhostWellDef.scala │ │ │ └── GoifyingPrinter.scala │ │ ├── reporting │ │ ├── BackTranslator.scala │ │ ├── BacktranslatingReporter.scala │ │ ├── DefaultErrorBackTranslator.scala │ │ ├── DefaultMessageBackTranslator.scala │ │ ├── LogbackOutputHighlighter.scala │ │ ├── Message.scala │ │ ├── Reporter.scala │ │ ├── Source.scala │ │ ├── StatsCollector.scala │ │ ├── VerifierError.scala │ │ └── VerifierResult.scala │ │ ├── theory │ │ └── Addressability.scala │ │ ├── translator │ │ ├── Names.scala │ │ ├── Translator.scala │ │ ├── context │ │ │ ├── Collector.scala │ │ │ ├── CollectorImpl.scala │ │ │ ├── Context.scala │ │ │ ├── ContextImpl.scala │ │ │ ├── DfltTranslatorConfig.scala │ │ │ └── TranslatorConfig.scala │ │ ├── encodings │ │ │ ├── BoolEncoding.scala │ │ │ ├── DomainEncoding.scala │ │ │ ├── FloatEncoding.scala │ │ │ ├── IntEncoding.scala │ │ │ ├── PermissionEncoding.scala │ │ │ ├── PointerEncoding.scala │ │ │ ├── StringEncoding.scala │ │ │ ├── adts │ │ │ │ └── AdtEncoding.scala │ │ │ ├── arrays │ │ │ │ ├── ArrayEncoding.scala │ │ │ │ ├── ExclusiveArrayComponent.scala │ │ │ │ ├── ExclusiveArrayComponentImpl.scala │ │ │ │ ├── SharedArrayComponent.scala │ │ │ │ ├── SharedArrayComponentImpl.scala │ │ │ │ └── SharedArrayEmbedding.scala │ │ │ ├── channels │ │ │ │ └── ChannelEncoding.scala │ │ │ ├── closures │ │ │ │ ├── ClosureDomainEncoder.scala │ │ │ │ ├── ClosureEncoding.scala │ │ │ │ ├── ClosureSpecsEncoder.scala │ │ │ │ └── MethodObjectEncoder.scala │ │ │ ├── combinators │ │ │ │ ├── DefaultEncoding.scala │ │ │ │ ├── Encoding.scala │ │ │ │ ├── FinalTypeEncoding.scala │ │ │ │ ├── LeafTypeEncoding.scala │ │ │ │ ├── SafeTypeEncodingCombiner.scala │ │ │ │ ├── SequentialTypeEncodingCombiner.scala │ │ │ │ ├── TypeEncoding.scala │ │ │ │ └── TypeEncodingCombiner.scala │ │ │ ├── defaults │ │ │ │ ├── DefaultGlobalVarEncoding.scala │ │ │ │ ├── DefaultMethodEncoding.scala │ │ │ │ ├── DefaultPredicateEncoding.scala │ │ │ │ ├── DefaultPureMethodEncoding.scala │ │ │ │ └── DefaultTriggerExprEncoding.scala │ │ │ ├── interfaces │ │ │ │ ├── InterfaceComponent.scala │ │ │ │ ├── InterfaceComponentImpl.scala │ │ │ │ ├── InterfaceEncoding.scala │ │ │ │ ├── InterfaceUtils.scala │ │ │ │ ├── PolymorphValueComponent.scala │ │ │ │ ├── PolymorphValueComponentImpl.scala │ │ │ │ ├── TypeComponent.scala │ │ │ │ └── TypeComponentImpl.scala │ │ │ ├── maps │ │ │ │ ├── MapEncoding.scala │ │ │ │ └── MathematicalMapEncoding.scala │ │ │ ├── options │ │ │ │ └── OptionEncoding.scala │ │ │ ├── preds │ │ │ │ ├── DefuncComponent.scala │ │ │ │ ├── DefuncComponentImpl.scala │ │ │ │ └── PredEncoding.scala │ │ │ ├── programs │ │ │ │ ├── Programs.scala │ │ │ │ └── ProgramsImpl.scala │ │ │ ├── sequences │ │ │ │ └── SequenceEncoding.scala │ │ │ ├── sets │ │ │ │ └── SetEncoding.scala │ │ │ ├── slices │ │ │ │ └── SliceEncoding.scala │ │ │ ├── structs │ │ │ │ ├── ExclusiveStructComponent.scala │ │ │ │ ├── SharedStructComponent.scala │ │ │ │ ├── SharedStructComponentImpl.scala │ │ │ │ └── StructEncoding.scala │ │ │ └── typeless │ │ │ │ ├── AssertionEncoding.scala │ │ │ │ ├── BuiltInEncoding.scala │ │ │ │ ├── CallEncoding.scala │ │ │ │ ├── Comments.scala │ │ │ │ ├── ControlEncoding.scala │ │ │ │ ├── DeferEncoding.scala │ │ │ │ ├── GlobalEncoding.scala │ │ │ │ ├── MemoryEncoding.scala │ │ │ │ ├── OutlineEncoding.scala │ │ │ │ └── TerminationEncoding.scala │ │ ├── library │ │ │ ├── Generator.scala │ │ │ ├── arrays │ │ │ │ ├── Arrays.scala │ │ │ │ └── ArraysImpl.scala │ │ │ ├── conditions │ │ │ │ ├── Conditions.scala │ │ │ │ └── ConditionsImpl.scala │ │ │ ├── embeddings │ │ │ │ └── EmbeddingComponent.scala │ │ │ ├── equality │ │ │ │ ├── Equality.scala │ │ │ │ └── EqualityImpl.scala │ │ │ ├── fields │ │ │ │ ├── Fields.scala │ │ │ │ └── FieldsImpl.scala │ │ │ ├── fixpoints │ │ │ │ ├── Fixpoint.scala │ │ │ │ └── FixpointImpl.scala │ │ │ ├── multiplicity │ │ │ │ ├── SeqMultiplicity.scala │ │ │ │ └── SeqMultiplicityImpl.scala │ │ │ ├── options │ │ │ │ ├── OptionImpl.scala │ │ │ │ └── Options.scala │ │ │ ├── outlines │ │ │ │ ├── Outlines.scala │ │ │ │ └── OutlinesImpl.scala │ │ │ ├── slices │ │ │ │ ├── Slices.scala │ │ │ │ └── SlicesImpl.scala │ │ │ ├── tos │ │ │ │ ├── OptionToSeq.scala │ │ │ │ ├── OptionToSeqImpl.scala │ │ │ │ ├── SeqToMultiset.scala │ │ │ │ ├── SeqToMultisetImpl.scala │ │ │ │ ├── SeqToSet.scala │ │ │ │ └── SeqToSetImpl.scala │ │ │ ├── tuples │ │ │ │ ├── Tuples.scala │ │ │ │ └── TuplesImpl.scala │ │ │ └── unknowns │ │ │ │ ├── UnknownValues.scala │ │ │ │ └── UnknownValuesImpl.scala │ │ ├── transformers │ │ │ ├── AssumeTransformer.scala │ │ │ ├── TerminationDomainTransformer.scala │ │ │ ├── ViperTransformer.scala │ │ │ └── hyper │ │ │ │ └── SIFLowGuardTransformer.scala │ │ └── util │ │ │ ├── Comments.scala │ │ │ ├── Core.scala │ │ │ ├── DomainGenerator.scala │ │ │ ├── FunctionGenerator.scala │ │ │ ├── MethodGenerator.scala │ │ │ ├── PartialFunctionCombiner.scala │ │ │ ├── PrimitiveGenerator.scala │ │ │ ├── Registrator.scala │ │ │ ├── TypePatterns.scala │ │ │ ├── ViperUtil.scala │ │ │ ├── ViperWriter.scala │ │ │ └── VprInfo.scala │ │ └── util │ │ ├── Algorithms.scala │ │ ├── BackendAnnotation.scala │ │ ├── ChopperUtil.scala │ │ ├── Computation.scala │ │ ├── Constants.scala │ │ ├── DesugarWriter.scala │ │ ├── GobraExecutionContext.scala │ │ ├── NumBase.scala │ │ ├── OutputUtil.scala │ │ ├── PluginAwareChopper.scala │ │ ├── RoseTree.scala │ │ ├── TaskManager.scala │ │ ├── TypeBounds.scala │ │ └── Violation.scala └── test │ ├── resources │ ├── better_errors │ │ ├── assign │ │ │ ├── const.go │ │ │ ├── const_type.go │ │ │ ├── got_assign_all.go │ │ │ ├── type.go │ │ │ ├── var.go │ │ │ └── var_type.go │ │ └── slices │ │ │ ├── both.go │ │ │ ├── second.go │ │ │ └── third.go │ ├── regressions │ │ ├── examples │ │ │ ├── all_nearest_smaller_values.gobra │ │ │ ├── disableNL.gobra │ │ │ ├── disableNL_success.gobra │ │ │ ├── evaluation │ │ │ │ ├── binary_search_tree.gobra │ │ │ │ ├── binary_tree.gobra │ │ │ │ ├── dense_sparse_matrix.gobra │ │ │ │ ├── dutchflag.gobra │ │ │ │ ├── example-2-1.gobra │ │ │ │ ├── example-2-2.gobra │ │ │ │ ├── heapsort.gobra │ │ │ │ ├── impl_errors │ │ │ │ │ ├── binary_search_tree.gobra │ │ │ │ │ ├── binary_tree.gobra │ │ │ │ │ ├── dense_sparse_matrix.gobra │ │ │ │ │ ├── dutchflag.gobra │ │ │ │ │ ├── example-2-1.gobra │ │ │ │ │ ├── example-2-2.gobra │ │ │ │ │ ├── heapsort.gobra │ │ │ │ │ ├── list_of_interfaces.gobra │ │ │ │ │ ├── pair_insertion_sort.gobra │ │ │ │ │ ├── parallel_search_replace.gobra │ │ │ │ │ ├── parallel_sum.gobra │ │ │ │ │ ├── relaxed_prefix.gobra │ │ │ │ │ ├── visitor_pattern.gobra │ │ │ │ │ └── zune.gobra │ │ │ │ ├── list_of_interfaces.gobra │ │ │ │ ├── pair_insertion_sort.gobra │ │ │ │ ├── parallel_search_replace.gobra │ │ │ │ ├── parallel_sum.gobra │ │ │ │ ├── relaxed_prefix.gobra │ │ │ │ ├── spec_errors │ │ │ │ │ ├── binary_search_tree.gobra │ │ │ │ │ ├── binary_tree.gobra │ │ │ │ │ ├── dense_sparse_matrix.gobra │ │ │ │ │ ├── dutchflag.gobra │ │ │ │ │ ├── example-2-1.gobra │ │ │ │ │ ├── example-2-2.gobra │ │ │ │ │ ├── heapsort.gobra │ │ │ │ │ ├── list_of_interfaces.gobra │ │ │ │ │ ├── pair_insertion_sort.gobra │ │ │ │ │ ├── parallel_search_replace.gobra │ │ │ │ │ ├── parallel_sum.gobra │ │ │ │ │ ├── relaxed_prefix.gobra │ │ │ │ │ ├── visitor_pattern.gobra │ │ │ │ │ └── zune.gobra │ │ │ │ ├── visitor_pattern.gobra │ │ │ │ └── zune.gobra │ │ │ ├── parallel_search_replace_shared.gobra │ │ │ ├── swap.gobra │ │ │ ├── switch.gobra │ │ │ ├── tour │ │ │ │ ├── Test1.gobra │ │ │ │ ├── Test2.gobra │ │ │ │ ├── Test3.gobra │ │ │ │ ├── Test4.gobra │ │ │ │ └── Tree.gobra │ │ │ └── tutorial-examples │ │ │ │ ├── basic-annotations.gobra │ │ │ │ ├── channels.gobra │ │ │ │ ├── comparability.gobra │ │ │ │ ├── concurrency.gobra │ │ │ │ ├── external-interface │ │ │ │ ├── counterImpl │ │ │ │ │ └── counterImpl.gobra │ │ │ │ └── streamInterface │ │ │ │ │ └── counterStream.gobra │ │ │ │ ├── ghost-code.gobra │ │ │ │ ├── interfaces.gobra │ │ │ │ ├── multi-channel.gobra │ │ │ │ ├── mutex.gobra │ │ │ │ ├── permissions.gobra │ │ │ │ ├── predicate.gobra │ │ │ │ ├── quantified-permissions.gobra │ │ │ │ └── total-correctness.gobra │ │ ├── features │ │ │ ├── adts │ │ │ │ ├── fields1.gobra │ │ │ │ ├── match-error1.gobra │ │ │ │ ├── simple-match1.gobra │ │ │ │ ├── simple1.gobra │ │ │ │ ├── stateMachine1.gobra │ │ │ │ ├── termination-fail1.gobra │ │ │ │ └── termination-success1.gobra │ │ │ ├── arrays │ │ │ │ ├── array-capacity-fail1.gobra │ │ │ │ ├── array-capacity-fail2.gobra │ │ │ │ ├── array-capacity-simple1.gobra │ │ │ │ ├── array-capacity-simple2.gobra │ │ │ │ ├── array-convert-fail1.gobra │ │ │ │ ├── array-convert-fail2.gobra │ │ │ │ ├── array-convert-fail3.gobra │ │ │ │ ├── array-convert-fail4.gobra │ │ │ │ ├── array-convert-fail5.gobra │ │ │ │ ├── array-convert-fail6.gobra │ │ │ │ ├── array-convert-simple1.gobra │ │ │ │ ├── array-index-fail1.gobra │ │ │ │ ├── array-index-fail2.gobra │ │ │ │ ├── array-index-fail3.gobra │ │ │ │ ├── array-index-fail4.gobra │ │ │ │ ├── array-index-fail5.gobra │ │ │ │ ├── array-index-fail6.gobra │ │ │ │ ├── array-index-fail7.gobra │ │ │ │ ├── array-index-fail8.gobra │ │ │ │ ├── array-index-simple1.gobra │ │ │ │ ├── array-index-simple2.gobra │ │ │ │ ├── array-index-simple3.gobra │ │ │ │ ├── array-index-simple4.gobra │ │ │ │ ├── array-index-simple5.gobra │ │ │ │ ├── array-index-simple6.gobra │ │ │ │ ├── array-index-simple7.gobra │ │ │ │ ├── array-index-simple8.gobra │ │ │ │ ├── array-index-simple9.gobra │ │ │ │ ├── array-length-fail1.gobra │ │ │ │ ├── array-length-fail2.gobra │ │ │ │ ├── array-length-simple1.gobra │ │ │ │ ├── array-length-simple2.gobra │ │ │ │ ├── array-literal-fail1.gobra │ │ │ │ ├── array-literal-fail10.gobra │ │ │ │ ├── array-literal-fail11.gobra │ │ │ │ ├── array-literal-fail12.gobra │ │ │ │ ├── array-literal-fail13.gobra │ │ │ │ ├── array-literal-fail14.gobra │ │ │ │ ├── array-literal-fail15.gobra │ │ │ │ ├── array-literal-fail3.gobra │ │ │ │ ├── array-literal-fail4.gobra │ │ │ │ ├── array-literal-fail5.gobra │ │ │ │ ├── array-literal-fail6.gobra │ │ │ │ ├── array-literal-fail7.gobra │ │ │ │ ├── array-literal-fail8.gobra │ │ │ │ ├── array-literal-fail9.gobra │ │ │ │ ├── array-literal-simple1.gobra │ │ │ │ ├── array-literal-simple2.gobra │ │ │ │ ├── array-literal-simple3.gobra │ │ │ │ ├── array-ownership-fail1.gobra │ │ │ │ ├── array-ownership-fail2.gobra │ │ │ │ ├── array-ownership-fail3.gobra │ │ │ │ ├── array-ownership-fail4.gobra │ │ │ │ ├── array-ownership-simple1.gobra │ │ │ │ ├── array-type-fail1.gobra │ │ │ │ ├── array-type-fail2.gobra │ │ │ │ ├── array-type-fail3.gobra │ │ │ │ ├── array-type-fail4.gobra │ │ │ │ ├── array-type-fail5.gobra │ │ │ │ ├── array-type-fail7.gobra │ │ │ │ ├── array-type-simple1.gobra │ │ │ │ ├── array-type-simple2.gobra │ │ │ │ ├── array-type-simple3.gobra │ │ │ │ ├── array-type-simple4.gobra │ │ │ │ └── array-type-simple5.gobra │ │ │ ├── assume │ │ │ │ └── assume-simple-01.gobra │ │ │ ├── backendAnnotations │ │ │ │ └── mce-success1.gobra │ │ │ ├── backends │ │ │ │ ├── carbon.gobra │ │ │ │ ├── silicon.gobra │ │ │ │ ├── vs-with-carbon.gobra │ │ │ │ └── vs-with-silicon.gobra │ │ │ ├── blank_identifier │ │ │ │ ├── blank-identifier-fail1.gobra │ │ │ │ ├── blank-identifier-fail2.gobra │ │ │ │ └── blank-identifier1.gobra │ │ │ ├── builtin │ │ │ │ ├── append-fail1.gobra │ │ │ │ ├── append-fail2.gobra │ │ │ │ ├── append-simple1.gobra │ │ │ │ ├── copy-fail1.gobra │ │ │ │ ├── copy-fail2.gobra │ │ │ │ ├── copy-fail3.gobra │ │ │ │ ├── copy-simple1.gobra │ │ │ │ └── copy-simple2.gobra │ │ │ ├── channels │ │ │ │ ├── bar │ │ │ │ │ └── bar.gobra │ │ │ │ ├── channel-fail1.gobra │ │ │ │ ├── channel-fail2.gobra │ │ │ │ ├── channel-fail3.gobra │ │ │ │ ├── channel-fail4.gobra │ │ │ │ ├── channel-fail5.gobra │ │ │ │ ├── channel-fail6.gobra │ │ │ │ ├── channel-fail7.gobra │ │ │ │ ├── channel-fail8.gobra │ │ │ │ ├── channel-fail9.go │ │ │ │ ├── channel-simple-buffered1.gobra │ │ │ │ ├── channel-simple-buffered2.gobra │ │ │ │ ├── channel-simple1.gobra │ │ │ │ ├── channel-simple2.gobra │ │ │ │ ├── channel-simple3.gobra │ │ │ │ ├── channel-simple4.gobra │ │ │ │ ├── channel-simple5.gobra │ │ │ │ ├── channel-simple6.gobra │ │ │ │ ├── channel-simple7.gobra │ │ │ │ ├── channel-simple8.gobra │ │ │ │ ├── channel-simple9.gobra │ │ │ │ ├── foo │ │ │ │ │ └── foo.gobra │ │ │ │ └── multi-channel-simple1.gobra │ │ │ ├── closures │ │ │ │ ├── closures-calldesc1.gobra │ │ │ │ ├── closures-calldesc2.gobra │ │ │ │ ├── closures-calldesc3.gobra │ │ │ │ ├── closures-calldesc4-map.gobra │ │ │ │ ├── closures-fail1-precondition.gobra │ │ │ │ ├── closures-fail2-captured.gobra │ │ │ │ ├── closures-fail3-captured.gobra │ │ │ │ ├── closures-fail4-ghost-args.gobra │ │ │ │ ├── closures-fail5-proofs.gobra │ │ │ │ ├── closures-fail6-proofs.gobra │ │ │ │ ├── closures-proofs-withtermination.gobra │ │ │ │ ├── closures-recursion1-simple.gobra │ │ │ │ ├── closures-recursion2-mutual.gobra │ │ │ │ ├── closures-refine-interface.gobra │ │ │ │ ├── closures-simple1.gobra │ │ │ │ ├── closures-simple2.gobra │ │ │ │ ├── closures-simple3-pure.gobra │ │ │ │ └── closures-termination.gobra │ │ │ ├── conversion │ │ │ │ ├── conversion-fail01.gobra │ │ │ │ └── conversion-simple01.gobra │ │ │ ├── defer │ │ │ │ ├── defer-simple-01.gobra │ │ │ │ ├── defer-simple-02.gobra │ │ │ │ ├── defer-simple-03.gobra │ │ │ │ ├── defer-simple-04.gobra │ │ │ │ └── defer-simple-05.gobra │ │ │ ├── defunc │ │ │ │ ├── defunc-fail1.gobra │ │ │ │ ├── defunc1.gobra │ │ │ │ ├── import-preds.gobra │ │ │ │ ├── includes │ │ │ │ │ └── preds │ │ │ │ │ │ └── predicate.gobra │ │ │ │ ├── mutex1.gobra │ │ │ │ ├── pred-construct-fail1.gobra │ │ │ │ ├── pred-expr-base1.gobra │ │ │ │ ├── waitgroup-fail1.gobra │ │ │ │ └── waitgroup-simple1.gobra │ │ │ ├── domains │ │ │ │ ├── implements-interface-fail01.gobra │ │ │ │ ├── implements-interface-fail02.gobra │ │ │ │ ├── implements-interface-fail03.gobra │ │ │ │ ├── implements-interface-fail04.gobra │ │ │ │ ├── implements-interface-imported-simple01.gobra │ │ │ │ ├── implements-interface-imported-simple01 │ │ │ │ │ └── foo │ │ │ │ │ │ └── foo.gobra │ │ │ │ ├── implements-interface-simple01.gobra │ │ │ │ ├── implements-interface-simple02.gobra │ │ │ │ └── intPair.gobra │ │ │ ├── errors │ │ │ │ ├── bar │ │ │ │ │ └── bar.gobra │ │ │ │ ├── error-fail1.gobra │ │ │ │ ├── error-fail2.gobra │ │ │ │ ├── error-simple1.gobra │ │ │ │ ├── error-simple2.gobra │ │ │ │ └── error-simple3.gobra │ │ │ ├── floats │ │ │ │ ├── floats-fail-01.gobra │ │ │ │ ├── floats-fail-02.gobra │ │ │ │ └── floats-simple-01.gobra │ │ │ ├── fractional_permissions │ │ │ │ ├── fields │ │ │ │ │ ├── fail1.gobra │ │ │ │ │ ├── fail2.gobra │ │ │ │ │ ├── fail3.gobra │ │ │ │ │ ├── simple1.gobra │ │ │ │ │ ├── simple2.gobra │ │ │ │ │ ├── simple3.gobra │ │ │ │ │ ├── wildcard-fail1.gobra │ │ │ │ │ ├── wildcard-simple1.gobra │ │ │ │ │ └── wildcard-simple2.gobra │ │ │ │ ├── perm-fail1.gobra │ │ │ │ ├── perm-fail2.gobra │ │ │ │ ├── perm-simple1.gobra │ │ │ │ └── predicates │ │ │ │ │ ├── fail1.gobra │ │ │ │ │ ├── fail2.gobra │ │ │ │ │ ├── fail3.gobra │ │ │ │ │ ├── simple1.gobra │ │ │ │ │ ├── simple2.gobra │ │ │ │ │ ├── simple3.gobra │ │ │ │ │ ├── wildcard-fail1.gobra │ │ │ │ │ ├── wildcard-simple1.gobra │ │ │ │ │ └── wildcard-simple2.gobra │ │ │ ├── functions │ │ │ │ └── functions-fail1.gobra │ │ │ ├── ghost_field │ │ │ │ ├── ghost-embedding-fail01.gobra │ │ │ │ ├── ghost-embedding-simple01.gobra │ │ │ │ ├── ghost-field-comparison-simple01.gobra │ │ │ │ ├── ghost-field-comparison-simple02.gobra │ │ │ │ ├── ghost-field-fail01.gobra │ │ │ │ ├── ghost-field-ghost-type-fail01.gobra │ │ │ │ ├── ghost-field-ghost-type-simple01.gobra │ │ │ │ ├── ghost-field-interface-fail01.gobra │ │ │ │ ├── ghost-field-interface-simple01.gobra │ │ │ │ ├── ghost-field-map-fail01.gobra │ │ │ │ └── ghost-field-simple01.gobra │ │ │ ├── ghost_members │ │ │ │ ├── ghost-function.gobra │ │ │ │ ├── ghost-method-fail01.gobra │ │ │ │ ├── ghost-method-simple01.gobra │ │ │ │ ├── ghost-method.gobra │ │ │ │ ├── ghost-overflows.gobra │ │ │ │ └── ghost-pure-function.gobra │ │ │ ├── ghost_pointer │ │ │ │ ├── ghost-array-fail01.gobra │ │ │ │ ├── ghost-array-range-fail01.gobra │ │ │ │ ├── ghost-array-range-simple01.gobra │ │ │ │ ├── ghost-array-simple01.gobra │ │ │ │ ├── ghost-fields-fail01.gobra │ │ │ │ ├── ghost-location-fail01.gobra │ │ │ │ ├── ghost-nil-simple01.gobra │ │ │ │ ├── ghost-pointer-receiver-fail01.gobra │ │ │ │ ├── ghost-pointer-receiver-simple01.gobra │ │ │ │ ├── ghost-read-fail01.gobra │ │ │ │ ├── ghost-reference-fail01.gobra │ │ │ │ ├── ghost-reference-fail02.gobra │ │ │ │ ├── ghost-reference-simple01.gobra │ │ │ │ ├── ghost-write-fail01.gobra │ │ │ │ ├── ghost-write-fail02.gobra │ │ │ │ ├── ghost-write-simple01.gobra │ │ │ │ ├── pointer-creation-fail01.gobra │ │ │ │ └── pointer-creation-simple01.gobra │ │ │ ├── ghost_type │ │ │ │ ├── ghost-struct-comparison-fail01.gobra │ │ │ │ ├── ghost-struct-comparison-fail02.gobra │ │ │ │ ├── ghost-struct-comparison-simple01.gobra │ │ │ │ ├── ghost-struct-embedding-fail01.gobra │ │ │ │ ├── ghost-struct-literal-simple01.gobra │ │ │ │ ├── ghost-struct-type-fail01.gobra │ │ │ │ ├── ghost-struct-type-fail02.gobra │ │ │ │ ├── ghost-struct-type-simple01.gobra │ │ │ │ ├── ghost-type-decl-fail01.gobra │ │ │ │ ├── ghost-type-decl-fail02.gobra │ │ │ │ ├── ghost-type-decl-fail03.gobra │ │ │ │ ├── ghost-type-decl-simple01.gobra │ │ │ │ └── ghost-type-decl-simple02.gobra │ │ │ ├── global_consts │ │ │ │ ├── global-const-1.gobra │ │ │ │ ├── global-const-10.gobra │ │ │ │ ├── global-const-2.gobra │ │ │ │ ├── global-const-3.gobra │ │ │ │ ├── global-const-4.gobra │ │ │ │ ├── global-const-5.gobra │ │ │ │ ├── global-const-6.gobra │ │ │ │ ├── global-const-7.gobra │ │ │ │ ├── global-const-8.gobra │ │ │ │ └── global-const-9.gobra │ │ │ ├── globals │ │ │ │ ├── globals-exclusive-simple01.gobra │ │ │ │ ├── globals-exclusive-type-fail01.gobra │ │ │ │ ├── globals-fail01.gobra │ │ │ │ ├── globals-simple01.gobra │ │ │ │ ├── globals-type-fail01.gobra │ │ │ │ ├── globals-type-fail02.gobra │ │ │ │ ├── globals-type-fail03.gobra │ │ │ │ ├── globals-type-fail04.gobra │ │ │ │ ├── globals-type-fail05.gobra │ │ │ │ ├── globals-type-fail06.gobra │ │ │ │ ├── impl-shorthand-fail01.gobra │ │ │ │ ├── impl-shorthand-fail02.gobra │ │ │ │ ├── impl-shorthand-simple01.gobra │ │ │ │ ├── itfAssign │ │ │ │ │ ├── defs │ │ │ │ │ │ └── defs.gobra │ │ │ │ │ └── main.gobra │ │ │ │ └── scion │ │ │ │ │ ├── monotonicset │ │ │ │ │ └── bounded.gobra │ │ │ │ │ ├── path │ │ │ │ │ ├── onehop │ │ │ │ │ │ └── onehop.go │ │ │ │ │ ├── path.go │ │ │ │ │ └── scion │ │ │ │ │ │ └── base.go │ │ │ │ │ └── scion.go │ │ │ ├── go_programs │ │ │ │ ├── fail1.gobra │ │ │ │ └── simple-1.go │ │ │ ├── go_routines │ │ │ │ ├── go-routines-closures-fail1.gobra │ │ │ │ ├── go-routines-closures1.gobra │ │ │ │ ├── go-routines-fail1.gobra │ │ │ │ └── go-routines1.gobra │ │ │ ├── header_only │ │ │ │ ├── main1.gobra │ │ │ │ └── pkg1 │ │ │ │ │ ├── main-fail.gobra │ │ │ │ │ └── main.gobra │ │ │ ├── hyper_properties │ │ │ │ ├── adts-simple01.gobra │ │ │ │ ├── commitment-extended.go │ │ │ │ ├── commitment.go │ │ │ │ ├── declassify-simple1.gobra │ │ │ │ ├── domains-simple01.gobra │ │ │ │ ├── major-predicate-simple01.gobra │ │ │ │ ├── simple1.gobra │ │ │ │ ├── termination-extended-simple01.gobra │ │ │ │ └── termination-simple01.gobra │ │ │ ├── import │ │ │ │ ├── closure_import │ │ │ │ │ ├── foo │ │ │ │ │ │ └── foo.gobra │ │ │ │ │ └── main.gobra │ │ │ │ ├── constant_import │ │ │ │ │ ├── bar │ │ │ │ │ │ └── bar.gobra │ │ │ │ │ ├── bar2 │ │ │ │ │ │ └── bar2.gobra │ │ │ │ │ ├── bar3 │ │ │ │ │ │ └── bar3.gobra │ │ │ │ │ ├── main.gobra │ │ │ │ │ ├── main2.gobra │ │ │ │ │ └── main3.gobra │ │ │ │ ├── cyclic_import │ │ │ │ │ ├── bar │ │ │ │ │ │ └── bar.gobra │ │ │ │ │ ├── foo │ │ │ │ │ │ └── foo.gobra │ │ │ │ │ └── main.gobra │ │ │ │ ├── error_reporting_import │ │ │ │ │ ├── bar │ │ │ │ │ │ └── bar.gobra │ │ │ │ │ └── main.gobra │ │ │ │ ├── error_reporting_import2 │ │ │ │ │ ├── foo │ │ │ │ │ │ └── foo.gobra │ │ │ │ │ └── main.gobra │ │ │ │ ├── error_reporting_import3 │ │ │ │ │ ├── foo │ │ │ │ │ │ └── foo.gobra │ │ │ │ │ └── main.gobra │ │ │ │ ├── fpredicate_import │ │ │ │ │ ├── bar │ │ │ │ │ │ └── bar.gobra │ │ │ │ │ └── main.gobra │ │ │ │ ├── function_import │ │ │ │ │ ├── bar │ │ │ │ │ │ └── bar.gobra │ │ │ │ │ └── main.gobra │ │ │ │ ├── ghost_member_import │ │ │ │ │ ├── bar │ │ │ │ │ │ └── bar.gobra │ │ │ │ │ └── main.gobra │ │ │ │ ├── import-fail1.gobra │ │ │ │ ├── import-fail2.gobra │ │ │ │ ├── import-fail3.gobra │ │ │ │ ├── import1.gobra │ │ │ │ ├── import2.gobra │ │ │ │ ├── import3.gobra │ │ │ │ ├── invalid_package_clause │ │ │ │ │ ├── invalid_package_clause1.gobra │ │ │ │ │ └── invalid_package_clause2.gobra │ │ │ │ ├── method_import │ │ │ │ │ ├── assert-fail1.gobra │ │ │ │ │ ├── assert-simple1.gobra │ │ │ │ │ ├── assertPkg │ │ │ │ │ │ └── assert.gobra │ │ │ │ │ ├── bar │ │ │ │ │ │ └── bar.gobra │ │ │ │ │ ├── bar2 │ │ │ │ │ │ └── bar2.gobra │ │ │ │ │ ├── main.gobra │ │ │ │ │ └── main2.gobra │ │ │ │ ├── mpredicate_import │ │ │ │ │ ├── bar │ │ │ │ │ │ └── bar.gobra │ │ │ │ │ └── main.gobra │ │ │ │ ├── multi_import │ │ │ │ │ ├── bar │ │ │ │ │ │ └── bar.gobra │ │ │ │ │ ├── foo │ │ │ │ │ │ └── foo.gobra │ │ │ │ │ ├── main1.gobra │ │ │ │ │ ├── main2.gobra │ │ │ │ │ ├── main3.gobra │ │ │ │ │ ├── main4.gobra │ │ │ │ │ └── main5.gobra │ │ │ │ ├── namespace_import │ │ │ │ │ ├── bar │ │ │ │ │ │ └── bar.gobra │ │ │ │ │ └── main.gobra │ │ │ │ ├── omitted_package_name │ │ │ │ │ ├── bar │ │ │ │ │ │ └── bar.gobra │ │ │ │ │ ├── lib │ │ │ │ │ │ └── foo │ │ │ │ │ │ │ └── foo.gobra │ │ │ │ │ └── main.gobra │ │ │ │ ├── parse_error │ │ │ │ │ └── parse_error.gobra │ │ │ │ ├── simple_type_import │ │ │ │ │ ├── bar │ │ │ │ │ │ └── bar.gobra │ │ │ │ │ └── main.gobra │ │ │ │ ├── struct_import │ │ │ │ │ ├── bar │ │ │ │ │ │ └── bar.gobra │ │ │ │ │ └── main.gobra │ │ │ │ ├── unique_qualifiers │ │ │ │ │ ├── bar │ │ │ │ │ │ └── bar.gobra │ │ │ │ │ ├── main1.gobra │ │ │ │ │ ├── main2.gobra │ │ │ │ │ ├── main3.gobra │ │ │ │ │ └── main4.gobra │ │ │ │ └── unqualified_import │ │ │ │ │ ├── functions │ │ │ │ │ ├── bar1 │ │ │ │ │ │ └── bar1.gobra │ │ │ │ │ ├── bar2_1 │ │ │ │ │ │ └── bar2_1.gobra │ │ │ │ │ ├── bar2_2 │ │ │ │ │ │ └── bar2_2.gobra │ │ │ │ │ ├── bar3 │ │ │ │ │ │ └── bar3.gobra │ │ │ │ │ ├── main1.gobra │ │ │ │ │ ├── main2.gobra │ │ │ │ │ └── main3.gobra │ │ │ │ │ └── methods │ │ │ │ │ ├── bar │ │ │ │ │ └── bar.gobra │ │ │ │ │ └── main.gobra │ │ │ ├── integers │ │ │ │ ├── bitwise-operators-const-fail1.gobra │ │ │ │ ├── bitwise-operators-const-simple1.gobra │ │ │ │ ├── bitwise-operators-fail1.gobra │ │ │ │ ├── int-assign-fail1.gobra │ │ │ │ ├── int-bounds1.gobra │ │ │ │ ├── int-bounds2.gobra │ │ │ │ ├── int-lit-bases-fail1.gobra │ │ │ │ ├── int-lit-bases-fail2.gobra │ │ │ │ ├── int-lit-bases-fail3.gobra │ │ │ │ ├── int-lit-bases-fail4.gobra │ │ │ │ ├── int-lit-bases-fail5.gobra │ │ │ │ ├── int-lit-bases-fail6.gobra │ │ │ │ ├── int-lit-bases-simple.gobra │ │ │ │ ├── int-sizes1.gobra │ │ │ │ └── int-sizes2.gobra │ │ │ ├── interfaces │ │ │ │ ├── boxAndUnbox1.gobra │ │ │ │ ├── comparable1.gobra │ │ │ │ ├── counterImpl │ │ │ │ │ └── counterImpl.gobra │ │ │ │ ├── counterStream.gobra │ │ │ │ ├── distributed_interface_case │ │ │ │ │ ├── cell │ │ │ │ │ │ └── cell.gobra │ │ │ │ │ ├── cellImplProof │ │ │ │ │ │ └── cell-impl-proof.gobra │ │ │ │ │ ├── cellMem │ │ │ │ │ │ └── cell-mem.gobra │ │ │ │ │ ├── client.gobra │ │ │ │ │ └── getterSetter │ │ │ │ │ │ └── getter-setter.gobra │ │ │ │ ├── embeddedInterfaces-fail1.gobra │ │ │ │ ├── embeddedInterfaces-fail2.gobra │ │ │ │ ├── embeddedInterfaces-fail3.gobra │ │ │ │ ├── embeddedInterfaces-fail4.gobra │ │ │ │ ├── embeddedInterfaces-fail5.gobra │ │ │ │ ├── embeddedInterfaces-fail6.gobra │ │ │ │ ├── embeddedInterfaces-fail7.gobra │ │ │ │ ├── embeddedInterfaces1.gobra │ │ │ │ ├── embeddedInterfaces2.gobra │ │ │ │ ├── embeddedInterfaces3.gobra │ │ │ │ ├── embeddedInterfaces4.gobra │ │ │ │ ├── embeddedInterfaces5.gobra │ │ │ │ ├── embeddedInterfaces6.gobra │ │ │ │ ├── ghostMembers.gobra │ │ │ │ ├── ghostnessOfImplementation-fail1.gobra │ │ │ │ ├── multipleInterfaces1.gobra │ │ │ │ ├── multipleInterfaces2.gobra │ │ │ │ ├── multipleInterfaces3.gobra │ │ │ │ ├── multipleInterfaces4.gobra │ │ │ │ ├── nonEmptyInterface1.gobra │ │ │ │ ├── nonUniqueInterfaceMembers.gobra │ │ │ │ ├── pointerAndTypeImplementing.gobra │ │ │ │ ├── predicateWithInterfaceParam.gobra │ │ │ │ ├── proofGenFail1.gobra │ │ │ │ ├── proofGenForImport.gobra │ │ │ │ ├── proofGenForImportPkg │ │ │ │ │ └── pkg.gobra │ │ │ │ ├── safeTypeAssertion1.gobra │ │ │ │ └── typeOf1.gobra │ │ │ ├── iota │ │ │ │ ├── iota-fail-01.go │ │ │ │ ├── iota-simple-01.gobra │ │ │ │ └── iota-simple-02.gobra │ │ │ ├── labels │ │ │ │ ├── duplicate-labels.gobra │ │ │ │ └── ghost-label.gobra │ │ │ ├── let │ │ │ │ ├── let_fail1.gobra │ │ │ │ └── let_simple.gobra │ │ │ ├── loops │ │ │ │ ├── loops-break-fail1.gobra │ │ │ │ ├── loops-break-fail2.gobra │ │ │ │ ├── loops-break-label-fail1.gobra │ │ │ │ ├── loops-break-label-fail2.gobra │ │ │ │ ├── loops-break-label1.gobra │ │ │ │ ├── loops-break-label2.gobra │ │ │ │ ├── loops-break1.gobra │ │ │ │ ├── loops-break2.gobra │ │ │ │ ├── loops-continue-fail1.gobra │ │ │ │ ├── loops-continue-fail2.gobra │ │ │ │ ├── loops-continue-fail3.gobra │ │ │ │ ├── loops-continue-fail4.gobra │ │ │ │ ├── loops-continue-label-fail1.gobra │ │ │ │ ├── loops-continue-label-fail2.gobra │ │ │ │ ├── loops-continue-label1.gobra │ │ │ │ ├── loops-continue-label2.gobra │ │ │ │ ├── loops-continue-label3.gobra │ │ │ │ ├── loops-continue-label4.gobra │ │ │ │ ├── loops-continue-label5.gobra │ │ │ │ ├── loops-continue1.gobra │ │ │ │ ├── loops-continue2.gobra │ │ │ │ ├── loops-continue3.gobra │ │ │ │ ├── loops-continue4.gobra │ │ │ │ ├── loops-continue5.gobra │ │ │ │ ├── loops-ghost-fail1.gobra │ │ │ │ ├── loops-ghost-simple1.gobra │ │ │ │ ├── range-fail1.gobra │ │ │ │ ├── range-fail2.gobra │ │ │ │ ├── range-fail3.gobra │ │ │ │ ├── range-fail4.gobra │ │ │ │ ├── range-fail5.gobra │ │ │ │ ├── range-fail6.gobra │ │ │ │ ├── range-fail7.gobra │ │ │ │ ├── range-fail8.gobra │ │ │ │ ├── range1.gobra │ │ │ │ ├── range2.gobra │ │ │ │ ├── range3.gobra │ │ │ │ ├── range_maps-fail1.gobra │ │ │ │ └── range_maps1.gobra │ │ │ ├── make_and_new │ │ │ │ ├── make-fail1.gobra │ │ │ │ ├── make1.gobra │ │ │ │ └── new.gobra │ │ │ ├── maps │ │ │ │ ├── maps-declared-type-simple1.gobra │ │ │ │ ├── maps-fail1.gobra │ │ │ │ ├── maps-fail2.gobra │ │ │ │ ├── maps-fail3.gobra │ │ │ │ ├── maps-nested.gobra │ │ │ │ ├── maps-simple1.gobra │ │ │ │ ├── math-maps-declared-type-simple1.gobra │ │ │ │ ├── math-maps-fail1.gobra │ │ │ │ ├── math-maps-simple1.gobra │ │ │ │ └── math-maps-simple2.gobra │ │ │ ├── multi-assign.gobra │ │ │ ├── multisets │ │ │ │ ├── multiset-cardinality-fail1.gobra │ │ │ │ ├── multiset-cardinality-fail2.gobra │ │ │ │ ├── multiset-cardinality-fail3.gobra │ │ │ │ ├── multiset-cardinality-fail4.gobra │ │ │ │ ├── multiset-cardinality-simple1.gobra │ │ │ │ ├── multiset-contains-fail1.gobra │ │ │ │ ├── multiset-contains-fail2.gobra │ │ │ │ ├── multiset-contains-fail3.gobra │ │ │ │ ├── multiset-contains-fail4.gobra │ │ │ │ ├── multiset-contains-fail5.gobra │ │ │ │ ├── multiset-contains-fail6.gobra │ │ │ │ ├── multiset-contains-simple1.gobra │ │ │ │ ├── multiset-convert-fail1.gobra │ │ │ │ ├── multiset-convert-fail10.gobra │ │ │ │ ├── multiset-convert-fail11.gobra │ │ │ │ ├── multiset-convert-fail12.gobra │ │ │ │ ├── multiset-convert-fail2.gobra │ │ │ │ ├── multiset-convert-fail3.gobra │ │ │ │ ├── multiset-convert-fail4.gobra │ │ │ │ ├── multiset-convert-fail5.gobra │ │ │ │ ├── multiset-convert-fail6.gobra │ │ │ │ ├── multiset-convert-fail7.gobra │ │ │ │ ├── multiset-convert-fail8.gobra │ │ │ │ ├── multiset-convert-fail9.gobra │ │ │ │ ├── multiset-convert-simple1.gobra │ │ │ │ ├── multiset-convert-simple2.gobra │ │ │ │ ├── multiset-convert-simple3.gobra │ │ │ │ ├── multiset-declared-type-simple1.gobra │ │ │ │ ├── multiset-intersection-fail1.gobra │ │ │ │ ├── multiset-intersection-fail2.gobra │ │ │ │ ├── multiset-intersection-fail3.gobra │ │ │ │ ├── multiset-intersection-fail4.gobra │ │ │ │ ├── multiset-intersection-simple1.gobra │ │ │ │ ├── multiset-literal-fail1.gobra │ │ │ │ ├── multiset-literal-fail10.gobra │ │ │ │ ├── multiset-literal-fail11.gobra │ │ │ │ ├── multiset-literal-fail12.gobra │ │ │ │ ├── multiset-literal-fail13.gobra │ │ │ │ ├── multiset-literal-fail2.gobra │ │ │ │ ├── multiset-literal-fail3.gobra │ │ │ │ ├── multiset-literal-fail4.gobra │ │ │ │ ├── multiset-literal-fail5.gobra │ │ │ │ ├── multiset-literal-fail6.gobra │ │ │ │ ├── multiset-literal-fail7.gobra │ │ │ │ ├── multiset-literal-fail8.gobra │ │ │ │ ├── multiset-literal-fail9.gobra │ │ │ │ ├── multiset-literal-simple1.gobra │ │ │ │ ├── multiset-literal-simple2.gobra │ │ │ │ ├── multiset-multiplicity-fail1.gobra │ │ │ │ ├── multiset-multiplicity-fail2.gobra │ │ │ │ ├── multiset-multiplicity-fail3.gobra │ │ │ │ ├── multiset-multiplicity-fail4.gobra │ │ │ │ ├── multiset-multiplicity-simple1.gobra │ │ │ │ ├── multiset-range-fail1.gobra │ │ │ │ ├── multiset-range-fail2.gobra │ │ │ │ ├── multiset-range-fail3.gobra │ │ │ │ ├── multiset-range-fail4.gobra │ │ │ │ ├── multiset-range-fail5.gobra │ │ │ │ ├── multiset-range-fail6.gobra │ │ │ │ ├── multiset-range-simple1.gobra │ │ │ │ ├── multiset-setminus-fail1.gobra │ │ │ │ ├── multiset-setminus-fail2.gobra │ │ │ │ ├── multiset-setminus-fail3.gobra │ │ │ │ ├── multiset-setminus-fail4.gobra │ │ │ │ ├── multiset-setminus-fail5.gobra │ │ │ │ ├── multiset-setminus-simple1.gobra │ │ │ │ ├── multiset-subset-fail1.gobra │ │ │ │ ├── multiset-subset-fail2.gobra │ │ │ │ ├── multiset-subset-fail3.gobra │ │ │ │ ├── multiset-subset-fail4.gobra │ │ │ │ ├── multiset-subset-fail5.gobra │ │ │ │ ├── multiset-subset-fail6.gobra │ │ │ │ ├── multiset-subset-simple1.gobra │ │ │ │ ├── multiset-type-fail1.gobra │ │ │ │ ├── multiset-type-fail2.gobra │ │ │ │ ├── multiset-type-fail3.gobra │ │ │ │ ├── multiset-type-fail4.gobra │ │ │ │ ├── multiset-type-fail5.gobra │ │ │ │ ├── multiset-type-fail6.gobra │ │ │ │ ├── multiset-type-fail7.gobra │ │ │ │ ├── multiset-type-simple1.gobra │ │ │ │ ├── multiset-type-simple2.gobra │ │ │ │ ├── multiset-union-fail1.gobra │ │ │ │ ├── multiset-union-fail2.gobra │ │ │ │ ├── multiset-union-fail3.gobra │ │ │ │ ├── multiset-union-fail4.gobra │ │ │ │ ├── multiset-union-fail5.gobra │ │ │ │ └── multiset-union-simple1.gobra │ │ │ ├── no_semicolons │ │ │ │ ├── examples │ │ │ │ │ ├── infinite_list.gobra │ │ │ │ │ ├── list.gobra │ │ │ │ │ ├── swap.gobra │ │ │ │ │ └── tour │ │ │ │ │ │ ├── Test1.gobra │ │ │ │ │ │ ├── Test2.gobra │ │ │ │ │ │ ├── Test3.gobra │ │ │ │ │ │ ├── Test4.gobra │ │ │ │ │ │ └── Tree.gobra │ │ │ │ ├── keywords.gobra │ │ │ │ ├── multi-assign.gobra │ │ │ │ ├── pointer-identity.gobra │ │ │ │ ├── predicates │ │ │ │ │ └── predicates-simple1.gobra │ │ │ │ ├── semicolon-completion.gobra │ │ │ │ ├── structs │ │ │ │ │ ├── literals.gobra │ │ │ │ │ ├── structs-simple1.gobra │ │ │ │ │ ├── structs-simple2.gobra │ │ │ │ │ └── structs-simple3.gobra │ │ │ │ ├── ternary_operator │ │ │ │ │ ├── ternary-operator1.gobra │ │ │ │ │ ├── ternary-operator2.gobra │ │ │ │ │ └── ternary-operator3.gobra │ │ │ │ └── while1.gobra │ │ │ ├── opaque │ │ │ │ ├── opaque-closure-fail1.gobra │ │ │ │ ├── opaque-fac1.gobra │ │ │ │ ├── opaque-fac2.gobra │ │ │ │ ├── opaque-fac3.gobra │ │ │ │ ├── opaque-function-fail1.gobra │ │ │ │ ├── opaque-interface-fail1.gobra │ │ │ │ ├── opaque-method-fail1.gobra │ │ │ │ ├── opaque-outline-fail1.gobra │ │ │ │ ├── opaque-spec-simple1.gobra │ │ │ │ ├── reveal-conversion-fail1.gobra │ │ │ │ ├── reveal-fail1.gobra │ │ │ │ ├── reveal-fail2.gobra │ │ │ │ └── reveal-predicate-fail1.gobra │ │ │ ├── options │ │ │ │ ├── options-declared-type-simple1.gobra │ │ │ │ ├── options-fail1.gobra │ │ │ │ ├── options-fail2.gobra │ │ │ │ ├── options-fail3.gobra │ │ │ │ ├── options-fail4.gobra │ │ │ │ ├── options-fail5.gobra │ │ │ │ ├── options-fail6.gobra │ │ │ │ ├── options-nested-maps.gobra │ │ │ │ ├── options-simple1.gobra │ │ │ │ ├── options-simple2.gobra │ │ │ │ └── options-simple3.gobra │ │ │ ├── outline │ │ │ │ ├── outline-simple1.gobra │ │ │ │ └── outline-simple2.gobra │ │ │ ├── overflow_checks │ │ │ │ ├── overflow_int32.gobra │ │ │ │ ├── overflow_int64.gobra │ │ │ │ ├── overflow_simple1.go │ │ │ │ └── subexpression_overflow.gobra │ │ │ ├── pointer-identity.gobra │ │ │ ├── predicates │ │ │ │ ├── foldability.gobra │ │ │ │ ├── predicates-simple1.gobra │ │ │ │ └── predicates_ill_formed1.gobra │ │ │ ├── preserves │ │ │ │ └── preserves-simple.gobra │ │ │ ├── purefuncs │ │ │ │ ├── add_trivial.gobra │ │ │ │ ├── quantifier1.gobra │ │ │ │ ├── quantifier2.gobra │ │ │ │ ├── sum_struct-fail.gobra │ │ │ │ ├── sum_struct.gobra │ │ │ │ └── unused-result.gobra │ │ │ ├── quantifiers │ │ │ │ ├── exists-fail1.gobra │ │ │ │ ├── exists-fail2.gobra │ │ │ │ ├── exists-fail3.gobra │ │ │ │ ├── exists-fail4.gobra │ │ │ │ ├── exists-simple1.gobra │ │ │ │ ├── exists-simple2.gobra │ │ │ │ ├── exists-simple3.gobra │ │ │ │ ├── exists-simple4.gobra │ │ │ │ ├── exists-trigger-fail1.gobra │ │ │ │ ├── exists-trigger-fail2.gobra │ │ │ │ ├── exists-trigger-fail3.gobra │ │ │ │ ├── exists-trigger-fail5.gobra │ │ │ │ ├── forall-fail1.gobra │ │ │ │ ├── forall-fail2.gobra │ │ │ │ ├── forall-fail3.gobra │ │ │ │ ├── forall-fail4.gobra │ │ │ │ ├── forall-fail5.gobra │ │ │ │ ├── forall-fail6.gobra │ │ │ │ ├── forall-simple1.gobra │ │ │ │ ├── forall-simple2.gobra │ │ │ │ ├── forall-simple3.gobra │ │ │ │ ├── forall-simple4.gobra │ │ │ │ ├── forall-trigger-fail1.gobra │ │ │ │ ├── forall-trigger-fail2.gobra │ │ │ │ ├── forall-trigger-fail3.gobra │ │ │ │ ├── forall-trigger-fail5.gobra │ │ │ │ ├── forall-trigger-fail6.gobra │ │ │ │ ├── quantperms-fail1.gobra │ │ │ │ ├── quantperms-fail2.gobra │ │ │ │ ├── quantperms-fail3.gobra │ │ │ │ ├── quantperms-fail4.gobra │ │ │ │ ├── quantperms-simple1.gobra │ │ │ │ ├── trigger-simple1.gobra │ │ │ │ ├── trigger-simple2.gobra │ │ │ │ ├── trigger-simple3.gobra │ │ │ │ └── trigger-simple4.gobra │ │ │ ├── refute │ │ │ │ ├── refute-fail-01.gobra │ │ │ │ ├── refute-fail-02.gobra │ │ │ │ └── refute-simple-01.gobra │ │ │ ├── runes │ │ │ │ ├── rune_values.gobra │ │ │ │ └── type-equality.gobra │ │ │ ├── sequences │ │ │ │ ├── seq-append-fail1.gobra │ │ │ │ ├── seq-append-fail2.gobra │ │ │ │ ├── seq-append-simple1.gobra │ │ │ │ ├── seq-contains-fail1.gobra │ │ │ │ ├── seq-contains-fail2.gobra │ │ │ │ ├── seq-contains-fail3.gobra │ │ │ │ ├── seq-contains-fail4.gobra │ │ │ │ ├── seq-contains-fail5.gobra │ │ │ │ ├── seq-contains-simple1.gobra │ │ │ │ ├── seq-convert-fail1.gobra │ │ │ │ ├── seq-convert-fail2.gobra │ │ │ │ ├── seq-convert-fail3.gobra │ │ │ │ ├── seq-convert-simple1.gobra │ │ │ │ ├── seq-declared-type-simple1.gobra │ │ │ │ ├── seq-index-fail1.gobra │ │ │ │ ├── seq-index-fail10.gobra │ │ │ │ ├── seq-index-fail2.gobra │ │ │ │ ├── seq-index-fail3.gobra │ │ │ │ ├── seq-index-fail4.gobra │ │ │ │ ├── seq-index-fail5.gobra │ │ │ │ ├── seq-index-fail6.gobra │ │ │ │ ├── seq-index-fail7.gobra │ │ │ │ ├── seq-index-fail8.gobra │ │ │ │ ├── seq-index-fail9.gobra │ │ │ │ ├── seq-index-simple1.gobra │ │ │ │ ├── seq-index-simple2.gobra │ │ │ │ ├── seq-length-fail1.gobra │ │ │ │ ├── seq-length-fail2.gobra │ │ │ │ ├── seq-length-fail3.gobra │ │ │ │ ├── seq-length-simple1.gobra │ │ │ │ ├── seq-literal-fail1.gobra │ │ │ │ ├── seq-literal-fail2.gobra │ │ │ │ ├── seq-literal-fail3.gobra │ │ │ │ ├── seq-literal-fail5.gobra │ │ │ │ ├── seq-literal-fail6.gobra │ │ │ │ ├── seq-literal-fail7.gobra │ │ │ │ ├── seq-literal-fail8.gobra │ │ │ │ ├── seq-literal-simple1.gobra │ │ │ │ ├── seq-literal-simple2.gobra │ │ │ │ ├── seq-literal-simple3.gobra │ │ │ │ ├── seq-multiplicity-fail1.gobra │ │ │ │ ├── seq-multiplicity-fail2.gobra │ │ │ │ ├── seq-multiplicity-fail3.gobra │ │ │ │ ├── seq-multiplicity-fail4.gobra │ │ │ │ ├── seq-multiplicity-fail5.gobra │ │ │ │ ├── seq-multiplicity-fail6.gobra │ │ │ │ ├── seq-multiplicity-simple1.gobra │ │ │ │ ├── seq-range-fail1.gobra │ │ │ │ ├── seq-range-fail2.gobra │ │ │ │ ├── seq-range-fail3.gobra │ │ │ │ ├── seq-range-simple1.gobra │ │ │ │ ├── seq-slice-fail1.gobra │ │ │ │ ├── seq-slice-fail2.gobra │ │ │ │ ├── seq-slice-fail3.gobra │ │ │ │ ├── seq-slice-fail4.gobra │ │ │ │ ├── seq-slice-fail5.gobra │ │ │ │ ├── seq-slice-fail6.gobra │ │ │ │ ├── seq-slice-simple1.gobra │ │ │ │ ├── seq-type-fail1.gobra │ │ │ │ ├── seq-type-fail2.gobra │ │ │ │ ├── seq-type-fail3.gobra │ │ │ │ ├── seq-type-fail4.gobra │ │ │ │ ├── seq-type-fail5.gobra │ │ │ │ ├── seq-type-simple1.gobra │ │ │ │ ├── seq-type-simple2.gobra │ │ │ │ ├── seq-update-fail1.gobra │ │ │ │ ├── seq-update-fail2.gobra │ │ │ │ ├── seq-update-fail3.gobra │ │ │ │ ├── seq-update-fail4.gobra │ │ │ │ ├── seq-update-fail5.gobra │ │ │ │ ├── seq-update-fail6.gobra │ │ │ │ ├── seq-update-fail7.gobra │ │ │ │ ├── seq-update-fail8.gobra │ │ │ │ └── seq-update-simple1.gobra │ │ │ ├── sets │ │ │ │ ├── set-cardinality-fail1.gobra │ │ │ │ ├── set-cardinality-fail2.gobra │ │ │ │ ├── set-cardinality-fail3.gobra │ │ │ │ ├── set-cardinality-simple1.gobra │ │ │ │ ├── set-contains-fail1.gobra │ │ │ │ ├── set-contains-fail2.gobra │ │ │ │ ├── set-contains-fail3.gobra │ │ │ │ ├── set-contains-simple1.gobra │ │ │ │ ├── set-convert-fail1.gobra │ │ │ │ ├── set-convert-fail10.gobra │ │ │ │ ├── set-convert-fail11.gobra │ │ │ │ ├── set-convert-fail12.gobra │ │ │ │ ├── set-convert-fail2.gobra │ │ │ │ ├── set-convert-fail3.gobra │ │ │ │ ├── set-convert-fail4.gobra │ │ │ │ ├── set-convert-fail5.gobra │ │ │ │ ├── set-convert-fail6.gobra │ │ │ │ ├── set-convert-fail7.gobra │ │ │ │ ├── set-convert-fail8.gobra │ │ │ │ ├── set-convert-fail9.gobra │ │ │ │ ├── set-convert-simple1.gobra │ │ │ │ ├── set-convert-simple2.gobra │ │ │ │ ├── set-declared-type-simple1.gobra │ │ │ │ ├── set-disable-axioms-fail1.gobra │ │ │ │ ├── set-intersection-fail1.gobra │ │ │ │ ├── set-intersection-fail2.gobra │ │ │ │ ├── set-intersection-fail3.gobra │ │ │ │ ├── set-intersection-fail4.gobra │ │ │ │ ├── set-intersection-fail5.gobra │ │ │ │ ├── set-intersection-simple1.gobra │ │ │ │ ├── set-literal-fail1.gobra │ │ │ │ ├── set-literal-fail2.gobra │ │ │ │ ├── set-literal-fail3.gobra │ │ │ │ ├── set-literal-fail4.gobra │ │ │ │ ├── set-literal-fail5.gobra │ │ │ │ ├── set-literal-fail6.gobra │ │ │ │ ├── set-literal-fail7.gobra │ │ │ │ ├── set-literal-fail8.gobra │ │ │ │ ├── set-literal-simple1.gobra │ │ │ │ ├── set-literal-simple2.gobra │ │ │ │ ├── set-multiplicity-fail1.gobra │ │ │ │ ├── set-multiplicity-fail2.gobra │ │ │ │ ├── set-multiplicity-fail3.gobra │ │ │ │ ├── set-multiplicity-fail4.gobra │ │ │ │ ├── set-multiplicity-fail5.gobra │ │ │ │ ├── set-multiplicity-simple1.gobra │ │ │ │ ├── set-range-fail1.gobra │ │ │ │ ├── set-range-fail2.gobra │ │ │ │ ├── set-range-fail3.gobra │ │ │ │ ├── set-range-fail4.gobra │ │ │ │ ├── set-range-fail5.gobra │ │ │ │ ├── set-range-fail6.gobra │ │ │ │ ├── set-range-simple1.gobra │ │ │ │ ├── set-setminus-fail1.gobra │ │ │ │ ├── set-setminus-fail2.gobra │ │ │ │ ├── set-setminus-fail3.gobra │ │ │ │ ├── set-setminus-fail4.gobra │ │ │ │ ├── set-setminus-fail5.gobra │ │ │ │ ├── set-setminus-simple1.gobra │ │ │ │ ├── set-subset-fail1.gobra │ │ │ │ ├── set-subset-fail2.gobra │ │ │ │ ├── set-subset-fail3.gobra │ │ │ │ ├── set-subset-fail4.gobra │ │ │ │ ├── set-subset-fail5.gobra │ │ │ │ ├── set-subset-simple1.gobra │ │ │ │ ├── set-type-fail1.gobra │ │ │ │ ├── set-type-fail2.gobra │ │ │ │ ├── set-type-fail3.gobra │ │ │ │ ├── set-type-fail4.gobra │ │ │ │ ├── set-type-fail5.gobra │ │ │ │ ├── set-type-simple1.gobra │ │ │ │ ├── set-type-simple2.gobra │ │ │ │ ├── set-union-fail1.gobra │ │ │ │ ├── set-union-fail2.gobra │ │ │ │ ├── set-union-fail3.gobra │ │ │ │ ├── set-union-fail4.gobra │ │ │ │ ├── set-union-fail5.gobra │ │ │ │ └── set-union-simple1.gobra │ │ │ ├── slices │ │ │ │ ├── slice-boundschecks1.gobra │ │ │ │ ├── slice-boundschecks2.gobra │ │ │ │ ├── slice-cap-fail1.gobra │ │ │ │ ├── slice-cap-fail2.gobra │ │ │ │ ├── slice-cap-simple1.gobra │ │ │ │ ├── slice-cap-simple2.gobra │ │ │ │ ├── slice-index-fail1.gobra │ │ │ │ ├── slice-index-fail2.gobra │ │ │ │ ├── slice-index-fail3.gobra │ │ │ │ ├── slice-index-simple1.gobra │ │ │ │ ├── slice-init-fail1.gobra │ │ │ │ ├── slice-init-simple1.gobra │ │ │ │ ├── slice-init-simple2.gobra │ │ │ │ ├── slice-init-simple3.gobra │ │ │ │ ├── slice-length-fail1.gobra │ │ │ │ ├── slice-length-fail2.gobra │ │ │ │ ├── slice-length-simple1.gobra │ │ │ │ ├── slice-literal-fail1.gobra │ │ │ │ ├── slice-literal-simple1.gobra │ │ │ │ ├── slice-nil-fail1.gobra │ │ │ │ ├── slice-nil-simple1.gobra │ │ │ │ ├── slice-type-fail1.gobra │ │ │ │ ├── slice-type-fail2.gobra │ │ │ │ ├── slice-type-fail3.gobra │ │ │ │ ├── slice-type-fail4.gobra │ │ │ │ ├── slice-type-fail5.gobra │ │ │ │ ├── slice-type-simple1.gobra │ │ │ │ ├── slice-type-simple2.gobra │ │ │ │ └── slice-type-simple3.gobra │ │ │ ├── strings │ │ │ │ ├── string-conv-fail1.gobra │ │ │ │ ├── string-conv-fail2.gobra │ │ │ │ ├── string-conv-simple1.gobra │ │ │ │ ├── string-slice-fail0.gobra │ │ │ │ ├── string-slice-fail1.gobra │ │ │ │ ├── string-slice-simple0.gobra │ │ │ │ ├── strings-fail0.gobra │ │ │ │ └── strings0.gobra │ │ │ ├── structs │ │ │ │ ├── cyclic-struct-def-check.gobra │ │ │ │ ├── cyclic-struct-def-check │ │ │ │ │ └── pkg.gobra │ │ │ │ ├── cyclic-struct-def-check2.gobra │ │ │ │ ├── literals.gobra │ │ │ │ ├── literals2.gobra │ │ │ │ ├── structs-simple1.gobra │ │ │ │ ├── structs-simple2.gobra │ │ │ │ ├── structs-simple3.gobra │ │ │ │ ├── structs-simple4.gobra │ │ │ │ └── structs-simple5.gobra │ │ │ ├── stubs │ │ │ │ ├── stubs-fail0.gobra │ │ │ │ ├── stubs0.gobra │ │ │ │ ├── stubs1.gobra │ │ │ │ ├── stubs2.gobra │ │ │ │ └── stubs3.gobra │ │ │ ├── switch │ │ │ │ ├── type-switch-fail1.gobra │ │ │ │ └── type-switch-simple1.gobra │ │ │ ├── termination │ │ │ │ ├── termination-fail-01.gobra │ │ │ │ ├── termination-fail-02.gobra │ │ │ │ ├── termination-fail-03.gobra │ │ │ │ ├── termination-import-interface │ │ │ │ │ ├── foo │ │ │ │ │ │ └── foo.gobra │ │ │ │ │ └── main.gobra │ │ │ │ ├── termination-import-members │ │ │ │ │ ├── foo │ │ │ │ │ │ └── foo.gobra │ │ │ │ │ └── main.gobra │ │ │ │ ├── termination-simple-01.gobra │ │ │ │ └── termination-simple-02.gobra │ │ │ ├── ternary_operator │ │ │ │ ├── ternary-operator1.gobra │ │ │ │ ├── ternary-operator2.gobra │ │ │ │ └── ternary-operator3.gobra │ │ │ ├── trusted │ │ │ │ ├── trusted-functions.gobra │ │ │ │ └── trusted-methods.gobra │ │ │ ├── variadic │ │ │ │ ├── variadic-fail1.gobra │ │ │ │ ├── variadic-fail2.gobra │ │ │ │ └── variadic-simple1.gobra │ │ │ ├── wands │ │ │ │ ├── ghost-list.gobra │ │ │ │ ├── list.gobra │ │ │ │ ├── wand-fail-01.gobra │ │ │ │ └── wand-simple-01.gobra │ │ │ └── while1.gobra │ │ └── issues │ │ │ ├── 000002.gobra │ │ │ ├── 000003.gobra │ │ │ ├── 000004.gobra │ │ │ ├── 000005.gobra │ │ │ ├── 000006.gobra │ │ │ ├── 000008.gobra │ │ │ ├── 000009.gobra │ │ │ ├── 000015.gobra │ │ │ ├── 000016.gobra │ │ │ ├── 000018.gobra │ │ │ ├── 000019.gobra │ │ │ ├── 000021.gobra │ │ │ ├── 000022.gobra │ │ │ ├── 000024.gobra │ │ │ ├── 000025.gobra │ │ │ ├── 000026-1.gobra │ │ │ ├── 000026-2.gobra │ │ │ ├── 000027-1.gobra │ │ │ ├── 000027-2.gobra │ │ │ ├── 000028.gobra │ │ │ ├── 000030.gobra │ │ │ ├── 000031.gobra │ │ │ ├── 000033-1.gobra │ │ │ ├── 000033-2.gobra │ │ │ ├── 000033-3.gobra │ │ │ ├── 000033-4.gobra │ │ │ ├── 000033-5.gobra │ │ │ ├── 000034-1.gobra │ │ │ ├── 000034-2.gobra │ │ │ ├── 000035.gobra │ │ │ ├── 000037-1.gobra │ │ │ ├── 000037-2.gobra │ │ │ ├── 000038.gobra │ │ │ ├── 000039.gobra │ │ │ ├── 000042-1.gobra │ │ │ ├── 000042-2.gobra │ │ │ ├── 000043.gobra │ │ │ ├── 000044.gobra │ │ │ ├── 000097-1.gobra │ │ │ ├── 000097-2.gobra │ │ │ ├── 000109.gobra │ │ │ ├── 000114-1.gobra │ │ │ ├── 000114-2.gobra │ │ │ ├── 000121.gobra │ │ │ ├── 000124-1.gobra │ │ │ ├── 000124-2.gobra │ │ │ ├── 000124 │ │ │ └── github.com │ │ │ │ └── gobra │ │ │ │ └── main.gobra │ │ │ ├── 000126.gobra │ │ │ ├── 000128-1.gobra │ │ │ ├── 000128-2.gobra │ │ │ ├── 000129-1.gobra │ │ │ ├── 000129-2.gobra │ │ │ ├── 000129-3.gobra │ │ │ ├── 000129.gobra │ │ │ ├── 000133-1.gobra │ │ │ ├── 000133-2.gobra │ │ │ ├── 000134.gobra │ │ │ ├── 000151.gobra │ │ │ ├── 000155.gobra │ │ │ ├── 000157-1.gobra │ │ │ ├── 000157-2.gobra │ │ │ ├── 000157-3.gobra │ │ │ ├── 000157-4.gobra │ │ │ ├── 000164.gobra │ │ │ ├── 000166.gobra │ │ │ ├── 000166 │ │ │ └── bug │ │ │ │ └── importedFile.gobra │ │ │ ├── 000169.gobra │ │ │ ├── 000169 │ │ │ └── pkg2 │ │ │ │ └── imported.gobra │ │ │ ├── 000176.gobra │ │ │ ├── 000177.gobra │ │ │ ├── 000180.gobra │ │ │ ├── 000182.gobra │ │ │ ├── 000185.gobra │ │ │ ├── 000190.gobra │ │ │ ├── 000190 │ │ │ └── pkg │ │ │ │ └── pkg.gobra │ │ │ ├── 000228-1.gobra │ │ │ ├── 000228-2.gobra │ │ │ ├── 000229.gobra │ │ │ ├── 000232.gobra │ │ │ ├── 000232 │ │ │ └── bug │ │ │ │ └── imported.gobra │ │ │ ├── 000235-1.gobra │ │ │ ├── 000235-2.gobra │ │ │ ├── 000236.gobra │ │ │ ├── 000238.gobra │ │ │ ├── 000249.gobra │ │ │ ├── 000253.gobra │ │ │ ├── 000272.gobra │ │ │ ├── 000272 │ │ │ └── pkg │ │ │ │ └── pkg.gobra │ │ │ ├── 000282.gobra │ │ │ ├── 000299.gobra │ │ │ ├── 000308.gobra │ │ │ ├── 000312.gobra │ │ │ ├── 000316.gobra │ │ │ ├── 000318.gobra │ │ │ ├── 000339.gobra │ │ │ ├── 000341 │ │ │ ├── pkg1 │ │ │ │ └── f1.gobra │ │ │ └── pkg2 │ │ │ │ └── f2.gobra │ │ │ ├── 000344.gobra │ │ │ ├── 000344 │ │ │ └── pkg │ │ │ │ └── bug.gobra │ │ │ ├── 000351.gobra │ │ │ ├── 000351 │ │ │ ├── pkg │ │ │ │ └── f.gobra │ │ │ └── pkg2 │ │ │ │ └── f.gobra │ │ │ ├── 000361.gobra │ │ │ ├── 000362.gobra │ │ │ ├── 000401.gobra │ │ │ ├── 000402.gobra │ │ │ ├── 000408.gobra │ │ │ ├── 000411.gobra │ │ │ ├── 000416.gobra │ │ │ ├── 000416 │ │ │ └── importedImplementationPkg │ │ │ │ ├── importedImplementationPkg.gobra │ │ │ │ └── shape │ │ │ │ └── shape.gobra │ │ │ ├── 000420.gobra │ │ │ ├── 000446.gobra │ │ │ ├── 000475-1.gobra │ │ │ ├── 000475-2.gobra │ │ │ ├── 000475-3.gobra │ │ │ ├── 000477.gobra │ │ │ ├── 000480.gobra │ │ │ ├── 000486.gobra │ │ │ ├── 000489.gobra │ │ │ ├── 000494.gobra │ │ │ ├── 000506-1.gobra │ │ │ ├── 000506-2.gobra │ │ │ ├── 000511.gobra │ │ │ ├── 000519.gobra │ │ │ ├── 000573.go │ │ │ ├── 000576.go │ │ │ ├── 000589.gobra │ │ │ ├── 000620-1.gobra │ │ │ ├── 000620-2.gobra │ │ │ ├── 000620-3.gobra │ │ │ ├── 000621.gobra │ │ │ ├── 000641.gobra │ │ │ ├── 000651.gobra │ │ │ ├── 000655.gobra │ │ │ ├── 000655 │ │ │ └── pkg │ │ │ │ └── f.gobra │ │ │ ├── 000659.gobra │ │ │ ├── 000685.gobra │ │ │ ├── 000686-1.gobra │ │ │ ├── 000686-2.gobra │ │ │ ├── 000686-3.gobra │ │ │ ├── 000686-4.gobra │ │ │ ├── 000686-5.gobra │ │ │ ├── 000686-6.gobra │ │ │ ├── 000695.gobra │ │ │ ├── 000697.gobra │ │ │ ├── 000697 │ │ │ └── pkg │ │ │ │ └── pkg.gobra │ │ │ ├── 000705.gobra │ │ │ ├── 000713.gobra │ │ │ ├── 000745.gobra │ │ │ ├── 000777-1.gobra │ │ │ ├── 000777-2.gobra │ │ │ ├── 000796.gobra │ │ │ ├── 000805.gobra │ │ │ ├── 000808.gobra │ │ │ ├── 000828.gobra │ │ │ ├── 000831.gobra │ │ │ ├── 000836.gobra │ │ │ ├── 000850.gobra │ │ │ ├── 000858.gobra │ │ │ ├── 000861-1.gobra │ │ │ ├── 000861-2.gobra │ │ │ ├── 000861-3.gobra │ │ │ ├── 000864.gobra │ │ │ ├── 000866.gobra │ │ │ ├── 000878.gobra │ │ │ ├── 000881.gobra │ │ │ ├── 000883.gobra │ │ │ ├── 000943.gobra │ │ │ └── windows-line-ending │ │ │ └── 000225.gobra │ ├── same_package │ │ ├── basic │ │ │ ├── same-package1a.gobra │ │ │ └── same-package1b.gobra │ │ ├── file_local_imports │ │ │ ├── import_not_avail │ │ │ │ ├── bar │ │ │ │ │ └── bar.gobra │ │ │ │ ├── main1.gobra │ │ │ │ └── main2.gobra │ │ │ ├── import_not_avail_unqualified │ │ │ │ ├── bar │ │ │ │ │ └── bar.gobra │ │ │ │ ├── main1.gobra │ │ │ │ └── main2.gobra │ │ │ ├── no_uniqueness_interference │ │ │ │ ├── bar │ │ │ │ │ └── bar.gobra │ │ │ │ ├── main1.gobra │ │ │ │ └── main2.gobra │ │ │ └── no_uniqueness_interference_unqualified │ │ │ │ ├── bar │ │ │ │ └── bar.gobra │ │ │ │ ├── main1.gobra │ │ │ │ └── main2.gobra │ │ ├── pkg_init │ │ │ ├── byte │ │ │ │ ├── byte.go │ │ │ │ └── byte_spec.gobra │ │ │ ├── concfib │ │ │ │ ├── fib.go │ │ │ │ └── fib_spec.gobra │ │ │ ├── fib │ │ │ │ ├── fib.go │ │ │ │ └── fib_spec.gobra │ │ │ ├── import │ │ │ │ └── main.go │ │ │ ├── import1 │ │ │ │ ├── bar │ │ │ │ │ └── bar.gobra │ │ │ │ └── pkg │ │ │ │ │ └── importer.gobra │ │ │ ├── import2 │ │ │ │ ├── bar │ │ │ │ │ └── bar.gobra │ │ │ │ └── pkg │ │ │ │ │ └── importer.gobra │ │ │ ├── invallinstances │ │ │ │ ├── client.go │ │ │ │ └── client_spec.gobra │ │ │ └── names_sequential │ │ │ │ ├── names │ │ │ │ ├── name │ │ │ │ │ ├── name.go │ │ │ │ │ └── name_spec.gobra │ │ │ │ ├── names.go │ │ │ │ └── names_spec.gobra │ │ │ │ └── stdNamesAlt │ │ │ │ ├── stdNamesAlt.go │ │ │ │ └── stdNamesAlt_spec.gobra │ │ └── shareProgramDecls │ │ │ ├── prog1.gobra │ │ │ └── prog2.gobra │ ├── stats_collector │ │ ├── fail │ │ │ └── fail.gobra │ │ ├── main.gobra │ │ ├── pkg1 │ │ │ ├── pkg1.gobra │ │ │ └── subpackage │ │ │ │ └── subpackage.gobra │ │ └── pkg2 │ │ │ ├── pkg2.gobra │ │ │ └── subpackage │ │ │ └── subpackage.gobra │ └── unimplemented_go │ │ ├── controlflow │ │ └── controlflow.go │ │ ├── floats │ │ └── float.go │ │ └── function_literals │ │ └── funclit.go │ └── scala │ └── viper │ └── gobra │ ├── AbstractGobraTests.scala │ ├── BenchmarkTests.scala │ ├── DetailedBenchmarkTests.scala │ ├── GobraPackageTests.scala │ ├── GobraTests.scala │ ├── GobraTutorialTests.scala │ ├── OverallBenchmarkTests.scala │ ├── PluginAwareChopperTests.scala │ ├── ast │ ├── FrontendPrettyPrinterUnitTests.scala │ ├── InternalPrettyPrinterUnitTests.scala │ └── InternalStrategyUnitTests.scala │ ├── erasing │ └── GhostErasureUnitTests.scala │ ├── parsing │ ├── GoParserUnitTests.scala │ ├── GobraParserTests.scala │ ├── GobrafyUnitTests.scala │ ├── ParserTestFrontend.scala │ └── ParserUnitTests.scala │ ├── reporting │ └── StatsCollectorTests.scala │ └── typing │ ├── ExprTypingUnitTests.scala │ ├── MemberTypingUnitTests.scala │ ├── StmtTypingUnitTests.scala │ └── TypeTypingUnitTests.scala └── workflow-container └── Dockerfile /.dockerignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/.dockerignore -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/docs/gobra.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/.github/docs/gobra.png -------------------------------------------------------------------------------- /.github/license-check/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/.github/license-check/config.json -------------------------------------------------------------------------------- /.github/license-check/headers/BSD-3-SIDM.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/.github/license-check/headers/BSD-3-SIDM.txt -------------------------------------------------------------------------------- /.github/license-check/headers/CC0-Windows.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/.github/license-check/headers/CC0-Windows.txt -------------------------------------------------------------------------------- /.github/license-check/headers/CC0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/.github/license-check/headers/CC0.txt -------------------------------------------------------------------------------- /.github/license-check/headers/Go.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/.github/license-check/headers/Go.txt -------------------------------------------------------------------------------- /.github/license-check/headers/MPLv2-ETH-hashtags.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/.github/license-check/headers/MPLv2-ETH-hashtags.txt -------------------------------------------------------------------------------- /.github/license-check/headers/MPLv2-ETH-xml.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/.github/license-check/headers/MPLv2-ETH-xml.txt -------------------------------------------------------------------------------- /.github/license-check/headers/MPLv2-ETH.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/.github/license-check/headers/MPLv2-ETH.txt -------------------------------------------------------------------------------- /.github/test-and-measure-ram.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/.github/test-and-measure-ram.sh -------------------------------------------------------------------------------- /.github/workflows/license-check.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/.github/workflows/license-check.yml -------------------------------------------------------------------------------- /.github/workflows/test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/.github/workflows/test.yml -------------------------------------------------------------------------------- /.github/workflows/update-submodules.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/.github/workflows/update-submodules.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/.gitmodules -------------------------------------------------------------------------------- /GobraChopper.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/GobraChopper.conf -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/README.md -------------------------------------------------------------------------------- /bors.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/bors.toml -------------------------------------------------------------------------------- /conf/logback.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/conf/logback.xml -------------------------------------------------------------------------------- /docs/licenses/GO.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/docs/licenses/GO.txt -------------------------------------------------------------------------------- /docs/tutorial.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/docs/tutorial.md -------------------------------------------------------------------------------- /encoding-sketches/interfaces.vpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/encoding-sketches/interfaces.vpr -------------------------------------------------------------------------------- /genparser.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/genparser.sh -------------------------------------------------------------------------------- /go-semantic-sketches/interface-invariant-arg-and-return-type.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/go-semantic-sketches/interface-invariant-arg-and-return-type.go -------------------------------------------------------------------------------- /project/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/project/build.properties -------------------------------------------------------------------------------- /project/plugins.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/project/plugins.sbt -------------------------------------------------------------------------------- /src/main/antlr4/GoLexer.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/antlr4/GoLexer.g4 -------------------------------------------------------------------------------- /src/main/antlr4/GoParser.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/antlr4/GoParser.g4 -------------------------------------------------------------------------------- /src/main/antlr4/GobraLexer.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/antlr4/GobraLexer.g4 -------------------------------------------------------------------------------- /src/main/antlr4/GobraParser.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/antlr4/GobraParser.g4 -------------------------------------------------------------------------------- /src/main/java/viper/gobra/frontend/GobraParserBase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/java/viper/gobra/frontend/GobraParserBase.java -------------------------------------------------------------------------------- /src/main/java/viper/gobra/frontend/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/java/viper/gobra/frontend/LICENSE -------------------------------------------------------------------------------- /src/main/resources/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/resources/README.md -------------------------------------------------------------------------------- /src/main/resources/builtin/builtin.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/resources/builtin/builtin.gobra -------------------------------------------------------------------------------- /src/main/resources/noaxioms/sets.vpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/resources/noaxioms/sets.vpr -------------------------------------------------------------------------------- /src/main/resources/stubs/bytes/bytes.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/resources/stubs/bytes/bytes.gobra -------------------------------------------------------------------------------- /src/main/resources/stubs/encoding/binary/binary.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/resources/stubs/encoding/binary/binary.gobra -------------------------------------------------------------------------------- /src/main/resources/stubs/errors/errors.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/resources/stubs/errors/errors.gobra -------------------------------------------------------------------------------- /src/main/resources/stubs/errors/wrap.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/resources/stubs/errors/wrap.gobra -------------------------------------------------------------------------------- /src/main/resources/stubs/fmt/fmt.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/resources/stubs/fmt/fmt.gobra -------------------------------------------------------------------------------- /src/main/resources/stubs/net/ip.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/resources/stubs/net/ip.gobra -------------------------------------------------------------------------------- /src/main/resources/stubs/net/iprawsock.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/resources/stubs/net/iprawsock.gobra -------------------------------------------------------------------------------- /src/main/resources/stubs/net/net.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/resources/stubs/net/net.gobra -------------------------------------------------------------------------------- /src/main/resources/stubs/net/udpsock.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/resources/stubs/net/udpsock.gobra -------------------------------------------------------------------------------- /src/main/resources/stubs/strconv/atoi.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/resources/stubs/strconv/atoi.gobra -------------------------------------------------------------------------------- /src/main/resources/stubs/strconv/itoa.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/resources/stubs/strconv/itoa.gobra -------------------------------------------------------------------------------- /src/main/resources/stubs/strings/strings.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/resources/stubs/strings/strings.gobra -------------------------------------------------------------------------------- /src/main/resources/stubs/sync/mutex.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/resources/stubs/sync/mutex.gobra -------------------------------------------------------------------------------- /src/main/resources/stubs/sync/waitgroup.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/resources/stubs/sync/waitgroup.gobra -------------------------------------------------------------------------------- /src/main/resources/stubs/time/sleep.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/resources/stubs/time/sleep.gobra -------------------------------------------------------------------------------- /src/main/resources/stubs/time/time.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/resources/stubs/time/time.gobra -------------------------------------------------------------------------------- /src/main/resources/stubs/time/zoneinfo.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/resources/stubs/time/zoneinfo.gobra -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/Gobra.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/Gobra.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/ast/frontend/Ast.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/ast/frontend/Ast.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/ast/frontend/AstPattern.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/ast/frontend/AstPattern.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/ast/frontend/PrettyPrinter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/ast/frontend/PrettyPrinter.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/ast/internal/Node.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/ast/internal/Node.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/ast/internal/PrettyPrinter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/ast/internal/PrettyPrinter.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/ast/internal/Program.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/ast/internal/Program.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/ast/internal/Rewritable.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/ast/internal/Rewritable.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/ast/internal/theory/Comparability.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/ast/internal/theory/Comparability.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/ast/internal/theory/TypeHead.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/ast/internal/theory/TypeHead.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/ast/internal/utility/Nodes.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/ast/internal/utility/Nodes.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/ast/printing/PrettyPrinterCombinators.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/ast/printing/PrettyPrinterCombinators.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/backend/Backend.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/backend/Backend.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/backend/BackendVerifier.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/backend/BackendVerifier.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/backend/Carbon.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/backend/Carbon.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/backend/Silicon.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/backend/Silicon.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/backend/ViperBackends.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/backend/ViperBackends.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/backend/ViperServer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/backend/ViperServer.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/backend/ViperVerifier.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/backend/ViperVerifier.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/frontend/Config.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/frontend/Config.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/frontend/Desugar.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/frontend/Desugar.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/frontend/Gobrafier.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/frontend/Gobrafier.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/frontend/InformativeErrorListener.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/frontend/InformativeErrorListener.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/frontend/PackageResolver.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/frontend/PackageResolver.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/frontend/ParseTreeTranslator.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/frontend/ParseTreeTranslator.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/frontend/Parser.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/frontend/Parser.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/frontend/ReportFirstErrorStrategy.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/frontend/ReportFirstErrorStrategy.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/frontend/Source.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/frontend/Source.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/frontend/TranslationHelpers.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/frontend/TranslationHelpers.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/frontend/info/ExternalTypeInfo.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/frontend/info/ExternalTypeInfo.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/frontend/info/Info.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/frontend/info/Info.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/frontend/info/InfoDebugPrettyPrinter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/frontend/info/InfoDebugPrettyPrinter.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/frontend/info/TypeInfo.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/frontend/info/TypeInfo.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/frontend/info/base/BuiltInMemberTag.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/frontend/info/base/BuiltInMemberTag.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/frontend/info/base/SymbolTable.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/frontend/info/base/SymbolTable.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/frontend/info/base/Type.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/frontend/info/base/Type.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/frontend/info/implementation/Errors.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/frontend/info/implementation/Errors.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/reporting/BackTranslator.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/reporting/BackTranslator.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/reporting/BacktranslatingReporter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/reporting/BacktranslatingReporter.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/reporting/DefaultErrorBackTranslator.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/reporting/DefaultErrorBackTranslator.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/reporting/DefaultMessageBackTranslator.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/reporting/DefaultMessageBackTranslator.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/reporting/LogbackOutputHighlighter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/reporting/LogbackOutputHighlighter.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/reporting/Message.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/reporting/Message.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/reporting/Reporter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/reporting/Reporter.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/reporting/Source.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/reporting/Source.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/reporting/StatsCollector.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/reporting/StatsCollector.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/reporting/VerifierError.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/reporting/VerifierError.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/reporting/VerifierResult.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/reporting/VerifierResult.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/theory/Addressability.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/theory/Addressability.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/Names.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/Names.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/Translator.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/Translator.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/context/Collector.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/context/Collector.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/context/CollectorImpl.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/context/CollectorImpl.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/context/Context.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/context/Context.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/context/ContextImpl.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/context/ContextImpl.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/context/DfltTranslatorConfig.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/context/DfltTranslatorConfig.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/context/TranslatorConfig.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/context/TranslatorConfig.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/encodings/BoolEncoding.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/encodings/BoolEncoding.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/encodings/DomainEncoding.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/encodings/DomainEncoding.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/encodings/FloatEncoding.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/encodings/FloatEncoding.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/encodings/IntEncoding.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/encodings/IntEncoding.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/encodings/PermissionEncoding.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/encodings/PermissionEncoding.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/encodings/PointerEncoding.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/encodings/PointerEncoding.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/encodings/StringEncoding.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/encodings/StringEncoding.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/encodings/adts/AdtEncoding.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/encodings/adts/AdtEncoding.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/encodings/maps/MapEncoding.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/encodings/maps/MapEncoding.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/encodings/preds/PredEncoding.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/encodings/preds/PredEncoding.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/encodings/programs/Programs.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/encodings/programs/Programs.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/encodings/sets/SetEncoding.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/encodings/sets/SetEncoding.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/encodings/typeless/Comments.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/encodings/typeless/Comments.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/library/Generator.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/library/Generator.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/library/arrays/Arrays.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/library/arrays/Arrays.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/library/arrays/ArraysImpl.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/library/arrays/ArraysImpl.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/library/equality/Equality.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/library/equality/Equality.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/library/fields/Fields.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/library/fields/Fields.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/library/fields/FieldsImpl.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/library/fields/FieldsImpl.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/library/fixpoints/Fixpoint.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/library/fixpoints/Fixpoint.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/library/options/OptionImpl.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/library/options/OptionImpl.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/library/options/Options.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/library/options/Options.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/library/outlines/Outlines.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/library/outlines/Outlines.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/library/slices/Slices.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/library/slices/Slices.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/library/slices/SlicesImpl.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/library/slices/SlicesImpl.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/library/tos/OptionToSeq.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/library/tos/OptionToSeq.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/library/tos/OptionToSeqImpl.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/library/tos/OptionToSeqImpl.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/library/tos/SeqToMultiset.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/library/tos/SeqToMultiset.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/library/tos/SeqToSet.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/library/tos/SeqToSet.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/library/tos/SeqToSetImpl.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/library/tos/SeqToSetImpl.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/library/tuples/Tuples.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/library/tuples/Tuples.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/library/tuples/TuplesImpl.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/library/tuples/TuplesImpl.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/util/Comments.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/util/Comments.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/util/Core.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/util/Core.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/util/DomainGenerator.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/util/DomainGenerator.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/util/FunctionGenerator.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/util/FunctionGenerator.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/util/MethodGenerator.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/util/MethodGenerator.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/util/PartialFunctionCombiner.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/util/PartialFunctionCombiner.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/util/PrimitiveGenerator.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/util/PrimitiveGenerator.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/util/Registrator.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/util/Registrator.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/util/TypePatterns.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/util/TypePatterns.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/util/ViperUtil.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/util/ViperUtil.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/util/ViperWriter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/util/ViperWriter.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/translator/util/VprInfo.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/translator/util/VprInfo.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/util/Algorithms.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/util/Algorithms.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/util/BackendAnnotation.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/util/BackendAnnotation.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/util/ChopperUtil.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/util/ChopperUtil.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/util/Computation.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/util/Computation.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/util/Constants.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/util/Constants.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/util/DesugarWriter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/util/DesugarWriter.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/util/GobraExecutionContext.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/util/GobraExecutionContext.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/util/NumBase.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/util/NumBase.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/util/OutputUtil.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/util/OutputUtil.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/util/PluginAwareChopper.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/util/PluginAwareChopper.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/util/RoseTree.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/util/RoseTree.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/util/TaskManager.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/util/TaskManager.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/util/TypeBounds.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/util/TypeBounds.scala -------------------------------------------------------------------------------- /src/main/scala/viper/gobra/util/Violation.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/main/scala/viper/gobra/util/Violation.scala -------------------------------------------------------------------------------- /src/test/resources/better_errors/assign/const.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/better_errors/assign/const.go -------------------------------------------------------------------------------- /src/test/resources/better_errors/assign/const_type.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/better_errors/assign/const_type.go -------------------------------------------------------------------------------- /src/test/resources/better_errors/assign/got_assign_all.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/better_errors/assign/got_assign_all.go -------------------------------------------------------------------------------- /src/test/resources/better_errors/assign/type.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/better_errors/assign/type.go -------------------------------------------------------------------------------- /src/test/resources/better_errors/assign/var.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/better_errors/assign/var.go -------------------------------------------------------------------------------- /src/test/resources/better_errors/assign/var_type.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/better_errors/assign/var_type.go -------------------------------------------------------------------------------- /src/test/resources/better_errors/slices/both.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/better_errors/slices/both.go -------------------------------------------------------------------------------- /src/test/resources/better_errors/slices/second.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/better_errors/slices/second.go -------------------------------------------------------------------------------- /src/test/resources/better_errors/slices/third.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/better_errors/slices/third.go -------------------------------------------------------------------------------- /src/test/resources/regressions/examples/all_nearest_smaller_values.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/examples/all_nearest_smaller_values.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/examples/disableNL.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/examples/disableNL.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/examples/disableNL_success.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/examples/disableNL_success.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/examples/evaluation/binary_tree.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/examples/evaluation/binary_tree.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/examples/evaluation/dutchflag.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/examples/evaluation/dutchflag.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/examples/evaluation/example-2-1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/examples/evaluation/example-2-1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/examples/evaluation/example-2-2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/examples/evaluation/example-2-2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/examples/evaluation/heapsort.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/examples/evaluation/heapsort.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/examples/evaluation/parallel_sum.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/examples/evaluation/parallel_sum.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/examples/evaluation/relaxed_prefix.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/examples/evaluation/relaxed_prefix.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/examples/evaluation/visitor_pattern.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/examples/evaluation/visitor_pattern.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/examples/evaluation/zune.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/examples/evaluation/zune.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/examples/swap.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/examples/swap.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/examples/switch.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/examples/switch.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/examples/tour/Test1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/examples/tour/Test1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/examples/tour/Test2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/examples/tour/Test2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/examples/tour/Test3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/examples/tour/Test3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/examples/tour/Test4.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/examples/tour/Test4.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/examples/tour/Tree.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/examples/tour/Tree.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/examples/tutorial-examples/channels.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/examples/tutorial-examples/channels.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/examples/tutorial-examples/mutex.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/examples/tutorial-examples/mutex.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/adts/fields1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/adts/fields1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/adts/match-error1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/adts/match-error1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/adts/simple-match1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/adts/simple-match1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/adts/simple1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/adts/simple1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/adts/stateMachine1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/adts/stateMachine1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/adts/termination-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/adts/termination-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/adts/termination-success1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/adts/termination-success1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-convert-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-convert-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-convert-fail2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-convert-fail2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-convert-fail3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-convert-fail3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-convert-fail4.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-convert-fail4.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-convert-fail5.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-convert-fail5.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-convert-fail6.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-convert-fail6.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-index-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-index-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-index-fail2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-index-fail2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-index-fail3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-index-fail3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-index-fail4.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-index-fail4.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-index-fail5.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-index-fail5.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-index-fail6.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-index-fail6.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-index-fail7.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-index-fail7.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-index-fail8.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-index-fail8.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-index-simple1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-index-simple1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-index-simple2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-index-simple2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-index-simple3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-index-simple3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-index-simple4.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-index-simple4.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-index-simple5.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-index-simple5.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-index-simple6.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-index-simple6.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-index-simple7.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-index-simple7.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-index-simple8.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-index-simple8.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-index-simple9.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-index-simple9.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-length-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-length-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-length-fail2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-length-fail2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-literal-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-literal-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-literal-fail3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-literal-fail3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-literal-fail4.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-literal-fail4.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-literal-fail5.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-literal-fail5.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-literal-fail6.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-literal-fail6.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-literal-fail7.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-literal-fail7.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-literal-fail8.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-literal-fail8.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-literal-fail9.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-literal-fail9.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-type-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-type-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-type-fail2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-type-fail2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-type-fail3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-type-fail3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-type-fail4.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-type-fail4.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-type-fail5.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-type-fail5.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-type-fail7.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-type-fail7.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-type-simple1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-type-simple1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-type-simple2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-type-simple2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-type-simple3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-type-simple3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-type-simple4.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-type-simple4.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/arrays/array-type-simple5.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/arrays/array-type-simple5.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/assume/assume-simple-01.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/assume/assume-simple-01.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/backends/carbon.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/backends/carbon.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/backends/silicon.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/backends/silicon.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/backends/vs-with-carbon.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/backends/vs-with-carbon.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/backends/vs-with-silicon.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/backends/vs-with-silicon.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/builtin/append-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/builtin/append-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/builtin/append-fail2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/builtin/append-fail2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/builtin/append-simple1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/builtin/append-simple1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/builtin/copy-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/builtin/copy-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/builtin/copy-fail2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/builtin/copy-fail2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/builtin/copy-fail3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/builtin/copy-fail3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/builtin/copy-simple1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/builtin/copy-simple1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/builtin/copy-simple2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/builtin/copy-simple2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/channels/bar/bar.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/channels/bar/bar.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/channels/channel-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/channels/channel-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/channels/channel-fail2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/channels/channel-fail2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/channels/channel-fail3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/channels/channel-fail3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/channels/channel-fail4.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/channels/channel-fail4.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/channels/channel-fail5.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/channels/channel-fail5.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/channels/channel-fail6.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/channels/channel-fail6.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/channels/channel-fail7.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/channels/channel-fail7.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/channels/channel-fail8.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/channels/channel-fail8.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/channels/channel-fail9.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/channels/channel-fail9.go -------------------------------------------------------------------------------- /src/test/resources/regressions/features/channels/channel-simple1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/channels/channel-simple1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/channels/channel-simple2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/channels/channel-simple2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/channels/channel-simple3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/channels/channel-simple3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/channels/channel-simple4.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/channels/channel-simple4.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/channels/channel-simple5.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/channels/channel-simple5.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/channels/channel-simple6.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/channels/channel-simple6.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/channels/channel-simple7.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/channels/channel-simple7.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/channels/channel-simple8.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/channels/channel-simple8.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/channels/channel-simple9.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/channels/channel-simple9.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/channels/foo/foo.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/channels/foo/foo.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/closures/closures-simple1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/closures/closures-simple1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/closures/closures-simple2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/closures/closures-simple2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/defer/defer-simple-01.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/defer/defer-simple-01.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/defer/defer-simple-02.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/defer/defer-simple-02.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/defer/defer-simple-03.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/defer/defer-simple-03.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/defer/defer-simple-04.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/defer/defer-simple-04.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/defer/defer-simple-05.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/defer/defer-simple-05.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/defunc/defunc-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/defunc/defunc-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/defunc/defunc1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/defunc/defunc1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/defunc/import-preds.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/defunc/import-preds.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/defunc/mutex1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/defunc/mutex1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/defunc/pred-expr-base1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/defunc/pred-expr-base1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/defunc/waitgroup-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/defunc/waitgroup-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/defunc/waitgroup-simple1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/defunc/waitgroup-simple1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/domains/intPair.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/domains/intPair.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/errors/bar/bar.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/errors/bar/bar.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/errors/error-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/errors/error-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/errors/error-fail2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/errors/error-fail2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/errors/error-simple1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/errors/error-simple1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/errors/error-simple2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/errors/error-simple2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/errors/error-simple3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/errors/error-simple3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/floats/floats-fail-01.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/floats/floats-fail-01.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/floats/floats-fail-02.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/floats/floats-fail-02.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/floats/floats-simple-01.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/floats/floats-simple-01.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/functions/functions-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/functions/functions-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/ghost_members/ghost-method.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/ghost_members/ghost-method.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/globals/globals-fail01.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/globals/globals-fail01.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/globals/globals-simple01.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/globals/globals-simple01.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/globals/itfAssign/main.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/globals/itfAssign/main.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/globals/scion/path/path.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/globals/scion/path/path.go -------------------------------------------------------------------------------- /src/test/resources/regressions/features/globals/scion/path/scion/base.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/globals/scion/path/scion/base.go -------------------------------------------------------------------------------- /src/test/resources/regressions/features/globals/scion/scion.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/globals/scion/scion.go -------------------------------------------------------------------------------- /src/test/resources/regressions/features/go_programs/fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/go_programs/fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/go_programs/simple-1.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/go_programs/simple-1.go -------------------------------------------------------------------------------- /src/test/resources/regressions/features/go_routines/go-routines1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/go_routines/go-routines1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/header_only/main1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/header_only/main1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/header_only/pkg1/main-fail.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/header_only/pkg1/main-fail.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/header_only/pkg1/main.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/header_only/pkg1/main.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/hyper_properties/commitment.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/hyper_properties/commitment.go -------------------------------------------------------------------------------- /src/test/resources/regressions/features/hyper_properties/simple1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/hyper_properties/simple1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/import/closure_import/main.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/import/closure_import/main.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/import/cyclic_import/main.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/import/cyclic_import/main.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/import/import-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/import/import-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/import/import-fail2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/import/import-fail2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/import/import-fail3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/import/import-fail3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/import/import1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/import/import1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/import/import2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/import/import2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/import/import3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/import/import3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/import/method_import/main.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/import/method_import/main.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/import/method_import/main2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/import/method_import/main2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/import/multi_import/main1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/import/multi_import/main1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/import/multi_import/main2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/import/multi_import/main2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/import/multi_import/main3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/import/multi_import/main3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/import/multi_import/main4.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/import/multi_import/main4.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/import/multi_import/main5.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/import/multi_import/main5.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/import/struct_import/main.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/import/struct_import/main.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/integers/int-assign-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/integers/int-assign-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/integers/int-bounds1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/integers/int-bounds1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/integers/int-bounds2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/integers/int-bounds2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/integers/int-sizes1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/integers/int-sizes1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/integers/int-sizes2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/integers/int-sizes2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/interfaces/boxAndUnbox1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/interfaces/boxAndUnbox1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/interfaces/comparable1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/interfaces/comparable1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/interfaces/counterStream.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/interfaces/counterStream.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/interfaces/ghostMembers.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/interfaces/ghostMembers.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/interfaces/proofGenFail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/interfaces/proofGenFail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/interfaces/typeOf1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/interfaces/typeOf1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/iota/iota-fail-01.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/iota/iota-fail-01.go -------------------------------------------------------------------------------- /src/test/resources/regressions/features/iota/iota-simple-01.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/iota/iota-simple-01.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/iota/iota-simple-02.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/iota/iota-simple-02.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/labels/duplicate-labels.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/labels/duplicate-labels.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/labels/ghost-label.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/labels/ghost-label.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/let/let_fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/let/let_fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/let/let_simple.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/let/let_simple.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/loops/loops-break-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/loops/loops-break-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/loops/loops-break-fail2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/loops/loops-break-fail2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/loops/loops-break-label1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/loops/loops-break-label1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/loops/loops-break1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/loops/loops-break1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/loops/loops-break2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/loops/loops-break2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/loops/loops-continue1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/loops/loops-continue1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/loops/loops-continue2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/loops/loops-continue2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/loops/loops-continue3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/loops/loops-continue3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/loops/loops-continue4.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/loops/loops-continue4.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/loops/loops-continue5.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/loops/loops-continue5.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/loops/loops-ghost-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/loops/loops-ghost-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/loops/range-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/loops/range-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/loops/range-fail2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/loops/range-fail2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/loops/range-fail3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/loops/range-fail3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/loops/range-fail4.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/loops/range-fail4.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/loops/range-fail5.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/loops/range-fail5.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/loops/range-fail6.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/loops/range-fail6.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/loops/range-fail7.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/loops/range-fail7.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/loops/range-fail8.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/loops/range-fail8.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/loops/range1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/loops/range1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/loops/range2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/loops/range2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/loops/range3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/loops/range3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/loops/range_maps-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/loops/range_maps-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/loops/range_maps1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/loops/range_maps1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/make_and_new/make-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/make_and_new/make-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/make_and_new/make1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/make_and_new/make1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/make_and_new/new.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/make_and_new/new.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/maps/maps-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/maps/maps-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/maps/maps-fail2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/maps/maps-fail2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/maps/maps-fail3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/maps/maps-fail3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/maps/maps-nested.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/maps/maps-nested.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/maps/maps-simple1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/maps/maps-simple1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/maps/math-maps-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/maps/math-maps-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/maps/math-maps-simple1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/maps/math-maps-simple1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/maps/math-maps-simple2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/maps/math-maps-simple2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/multi-assign.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/multi-assign.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/no_semicolons/keywords.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/no_semicolons/keywords.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/no_semicolons/while1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/no_semicolons/while1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/opaque/opaque-fac1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/opaque/opaque-fac1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/opaque/opaque-fac2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/opaque/opaque-fac2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/opaque/opaque-fac3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/opaque/opaque-fac3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/opaque/reveal-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/opaque/reveal-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/opaque/reveal-fail2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/opaque/reveal-fail2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/options/options-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/options/options-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/options/options-fail2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/options/options-fail2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/options/options-fail3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/options/options-fail3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/options/options-fail4.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/options/options-fail4.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/options/options-fail5.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/options/options-fail5.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/options/options-fail6.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/options/options-fail6.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/options/options-simple1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/options/options-simple1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/options/options-simple2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/options/options-simple2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/options/options-simple3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/options/options-simple3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/outline/outline-simple1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/outline/outline-simple1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/outline/outline-simple2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/outline/outline-simple2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/pointer-identity.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/pointer-identity.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/predicates/foldability.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/predicates/foldability.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/purefuncs/add_trivial.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/purefuncs/add_trivial.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/purefuncs/quantifier1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/purefuncs/quantifier1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/purefuncs/quantifier2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/purefuncs/quantifier2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/purefuncs/sum_struct.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/purefuncs/sum_struct.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/purefuncs/unused-result.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/purefuncs/unused-result.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/refute/refute-fail-01.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/refute/refute-fail-01.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/refute/refute-fail-02.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/refute/refute-fail-02.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/refute/refute-simple-01.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/refute/refute-simple-01.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/runes/rune_values.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/runes/rune_values.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/runes/type-equality.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/runes/type-equality.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-contains-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-contains-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-contains-fail2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-contains-fail2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-contains-fail3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-contains-fail3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-convert-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-convert-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-convert-fail10.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-convert-fail10.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-convert-fail11.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-convert-fail11.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-convert-fail12.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-convert-fail12.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-convert-fail2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-convert-fail2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-convert-fail3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-convert-fail3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-convert-fail4.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-convert-fail4.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-convert-fail5.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-convert-fail5.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-convert-fail6.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-convert-fail6.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-convert-fail7.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-convert-fail7.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-convert-fail8.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-convert-fail8.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-convert-fail9.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-convert-fail9.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-literal-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-literal-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-literal-fail2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-literal-fail2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-literal-fail3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-literal-fail3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-literal-fail4.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-literal-fail4.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-literal-fail5.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-literal-fail5.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-literal-fail6.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-literal-fail6.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-literal-fail7.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-literal-fail7.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-literal-fail8.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-literal-fail8.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-range-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-range-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-range-fail2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-range-fail2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-range-fail3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-range-fail3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-range-fail4.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-range-fail4.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-range-fail5.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-range-fail5.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-range-fail6.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-range-fail6.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-range-simple1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-range-simple1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-setminus-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-setminus-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-setminus-fail2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-setminus-fail2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-setminus-fail3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-setminus-fail3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-setminus-fail4.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-setminus-fail4.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-setminus-fail5.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-setminus-fail5.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-subset-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-subset-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-subset-fail2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-subset-fail2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-subset-fail3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-subset-fail3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-subset-fail4.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-subset-fail4.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-subset-fail5.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-subset-fail5.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-subset-simple1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-subset-simple1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-type-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-type-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-type-fail2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-type-fail2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-type-fail3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-type-fail3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-type-fail4.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-type-fail4.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-type-fail5.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-type-fail5.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-type-simple1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-type-simple1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-type-simple2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-type-simple2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-union-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-union-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-union-fail2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-union-fail2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-union-fail3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-union-fail3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-union-fail4.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-union-fail4.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-union-fail5.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-union-fail5.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/sets/set-union-simple1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/sets/set-union-simple1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/slices/slice-cap-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/slices/slice-cap-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/slices/slice-cap-fail2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/slices/slice-cap-fail2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/slices/slice-init-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/slices/slice-init-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/slices/slice-nil-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/slices/slice-nil-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/slices/slice-type-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/slices/slice-type-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/slices/slice-type-fail2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/slices/slice-type-fail2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/slices/slice-type-fail3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/slices/slice-type-fail3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/slices/slice-type-fail4.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/slices/slice-type-fail4.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/slices/slice-type-fail5.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/slices/slice-type-fail5.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/strings/strings-fail0.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/strings/strings-fail0.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/strings/strings0.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/strings/strings0.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/structs/literals.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/structs/literals.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/structs/literals2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/structs/literals2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/structs/structs-simple1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/structs/structs-simple1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/structs/structs-simple2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/structs/structs-simple2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/structs/structs-simple3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/structs/structs-simple3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/structs/structs-simple4.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/structs/structs-simple4.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/structs/structs-simple5.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/structs/structs-simple5.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/stubs/stubs-fail0.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/stubs/stubs-fail0.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/stubs/stubs0.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/stubs/stubs0.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/stubs/stubs1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/stubs/stubs1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/stubs/stubs2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/stubs/stubs2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/stubs/stubs3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/stubs/stubs3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/trusted/trusted-methods.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/trusted/trusted-methods.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/variadic/variadic-fail1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/variadic/variadic-fail1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/variadic/variadic-fail2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/variadic/variadic-fail2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/wands/ghost-list.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/wands/ghost-list.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/wands/list.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/wands/list.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/wands/wand-fail-01.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/wands/wand-fail-01.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/wands/wand-simple-01.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/wands/wand-simple-01.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/features/while1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/features/while1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000002.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000002.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000003.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000003.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000004.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000004.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000005.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000005.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000006.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000006.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000008.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000008.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000009.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000009.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000015.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000015.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000016.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000016.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000018.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000018.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000019.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000019.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000021.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000021.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000022.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000022.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000024.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000024.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000025.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000025.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000026-1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000026-1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000026-2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000026-2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000027-1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000027-1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000027-2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000027-2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000028.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000028.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000030.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000030.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000031.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000031.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000033-1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000033-1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000033-2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000033-2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000033-3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000033-3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000033-4.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000033-4.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000033-5.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000033-5.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000034-1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000034-1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000034-2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000034-2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000035.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000035.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000037-1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000037-1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000037-2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000037-2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000038.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000038.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000039.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000039.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000042-1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000042-1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000042-2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000042-2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000043.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000043.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000044.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000044.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000097-1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000097-1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000097-2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000097-2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000109.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000109.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000114-1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000114-1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000114-2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000114-2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000121.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000121.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000124-1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000124-1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000124-2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000124-2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000126.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000126.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000128-1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000128-1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000128-2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000128-2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000129-1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000129-1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000129-2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000129-2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000129-3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000129-3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000129.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000129.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000133-1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000133-1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000133-2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000133-2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000134.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000134.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000151.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000151.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000155.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000155.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000157-1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000157-1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000157-2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000157-2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000157-3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000157-3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000157-4.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000157-4.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000164.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000164.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000166.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000166.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000166/bug/importedFile.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000166/bug/importedFile.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000169.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000169.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000169/pkg2/imported.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000169/pkg2/imported.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000176.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000176.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000177.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000177.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000180.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000180.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000182.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000182.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000185.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000185.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000190.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000190.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000190/pkg/pkg.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000190/pkg/pkg.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000228-1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000228-1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000228-2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000228-2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000229.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000229.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000232.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000232.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000232/bug/imported.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000232/bug/imported.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000235-1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000235-1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000235-2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000235-2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000236.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000236.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000238.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000238.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000249.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000249.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000253.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000253.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000272.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000272.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000272/pkg/pkg.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000272/pkg/pkg.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000282.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000282.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000299.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000299.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000308.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000308.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000312.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000312.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000316.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000316.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000318.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000318.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000339.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000339.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000341/pkg1/f1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000341/pkg1/f1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000341/pkg2/f2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000341/pkg2/f2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000344.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000344.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000344/pkg/bug.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000344/pkg/bug.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000351.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000351.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000351/pkg/f.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000351/pkg/f.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000351/pkg2/f.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000351/pkg2/f.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000361.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000361.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000362.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000362.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000401.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000401.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000402.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000402.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000408.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000408.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000411.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000411.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000416.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000416.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000420.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000420.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000446.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000446.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000475-1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000475-1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000475-2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000475-2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000475-3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000475-3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000477.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000477.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000480.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000480.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000486.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000486.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000489.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000489.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000494.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000494.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000506-1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000506-1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000506-2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000506-2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000511.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000511.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000519.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000519.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000573.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000573.go -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000576.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000576.go -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000589.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000589.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000620-1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000620-1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000620-2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000620-2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000620-3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000620-3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000621.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000621.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000641.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000641.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000651.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000651.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000655.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000655.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000655/pkg/f.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000655/pkg/f.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000659.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000659.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000685.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000685.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000686-1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000686-1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000686-2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000686-2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000686-3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000686-3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000686-4.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000686-4.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000686-5.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000686-5.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000686-6.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000686-6.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000695.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000695.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000697.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000697.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000697/pkg/pkg.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000697/pkg/pkg.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000705.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000705.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000713.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000713.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000745.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000745.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000777-1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000777-1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000777-2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000777-2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000796.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000796.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000805.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000805.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000808.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000808.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000828.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000828.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000831.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000831.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000836.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000836.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000850.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000850.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000858.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000858.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000861-1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000861-1.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000861-2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000861-2.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000861-3.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000861-3.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000864.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000864.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000866.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000866.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000878.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000878.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000881.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000881.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000883.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000883.gobra -------------------------------------------------------------------------------- /src/test/resources/regressions/issues/000943.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/regressions/issues/000943.gobra -------------------------------------------------------------------------------- /src/test/resources/same_package/basic/same-package1a.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/same_package/basic/same-package1a.gobra -------------------------------------------------------------------------------- /src/test/resources/same_package/basic/same-package1b.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/same_package/basic/same-package1b.gobra -------------------------------------------------------------------------------- /src/test/resources/same_package/pkg_init/byte/byte.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/same_package/pkg_init/byte/byte.go -------------------------------------------------------------------------------- /src/test/resources/same_package/pkg_init/byte/byte_spec.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/same_package/pkg_init/byte/byte_spec.gobra -------------------------------------------------------------------------------- /src/test/resources/same_package/pkg_init/concfib/fib.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/same_package/pkg_init/concfib/fib.go -------------------------------------------------------------------------------- /src/test/resources/same_package/pkg_init/concfib/fib_spec.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/same_package/pkg_init/concfib/fib_spec.gobra -------------------------------------------------------------------------------- /src/test/resources/same_package/pkg_init/fib/fib.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/same_package/pkg_init/fib/fib.go -------------------------------------------------------------------------------- /src/test/resources/same_package/pkg_init/fib/fib_spec.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/same_package/pkg_init/fib/fib_spec.gobra -------------------------------------------------------------------------------- /src/test/resources/same_package/pkg_init/import/main.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/same_package/pkg_init/import/main.go -------------------------------------------------------------------------------- /src/test/resources/same_package/pkg_init/import1/bar/bar.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/same_package/pkg_init/import1/bar/bar.gobra -------------------------------------------------------------------------------- /src/test/resources/same_package/pkg_init/import1/pkg/importer.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/same_package/pkg_init/import1/pkg/importer.gobra -------------------------------------------------------------------------------- /src/test/resources/same_package/pkg_init/import2/bar/bar.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/same_package/pkg_init/import2/bar/bar.gobra -------------------------------------------------------------------------------- /src/test/resources/same_package/pkg_init/import2/pkg/importer.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/same_package/pkg_init/import2/pkg/importer.gobra -------------------------------------------------------------------------------- /src/test/resources/same_package/pkg_init/invallinstances/client.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/same_package/pkg_init/invallinstances/client.go -------------------------------------------------------------------------------- /src/test/resources/same_package/shareProgramDecls/prog1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/same_package/shareProgramDecls/prog1.gobra -------------------------------------------------------------------------------- /src/test/resources/same_package/shareProgramDecls/prog2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/same_package/shareProgramDecls/prog2.gobra -------------------------------------------------------------------------------- /src/test/resources/stats_collector/fail/fail.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/stats_collector/fail/fail.gobra -------------------------------------------------------------------------------- /src/test/resources/stats_collector/main.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/stats_collector/main.gobra -------------------------------------------------------------------------------- /src/test/resources/stats_collector/pkg1/pkg1.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/stats_collector/pkg1/pkg1.gobra -------------------------------------------------------------------------------- /src/test/resources/stats_collector/pkg1/subpackage/subpackage.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/stats_collector/pkg1/subpackage/subpackage.gobra -------------------------------------------------------------------------------- /src/test/resources/stats_collector/pkg2/pkg2.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/stats_collector/pkg2/pkg2.gobra -------------------------------------------------------------------------------- /src/test/resources/stats_collector/pkg2/subpackage/subpackage.gobra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/stats_collector/pkg2/subpackage/subpackage.gobra -------------------------------------------------------------------------------- /src/test/resources/unimplemented_go/controlflow/controlflow.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/unimplemented_go/controlflow/controlflow.go -------------------------------------------------------------------------------- /src/test/resources/unimplemented_go/floats/float.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/unimplemented_go/floats/float.go -------------------------------------------------------------------------------- /src/test/resources/unimplemented_go/function_literals/funclit.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/resources/unimplemented_go/function_literals/funclit.go -------------------------------------------------------------------------------- /src/test/scala/viper/gobra/AbstractGobraTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/scala/viper/gobra/AbstractGobraTests.scala -------------------------------------------------------------------------------- /src/test/scala/viper/gobra/BenchmarkTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/scala/viper/gobra/BenchmarkTests.scala -------------------------------------------------------------------------------- /src/test/scala/viper/gobra/DetailedBenchmarkTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/scala/viper/gobra/DetailedBenchmarkTests.scala -------------------------------------------------------------------------------- /src/test/scala/viper/gobra/GobraPackageTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/scala/viper/gobra/GobraPackageTests.scala -------------------------------------------------------------------------------- /src/test/scala/viper/gobra/GobraTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/scala/viper/gobra/GobraTests.scala -------------------------------------------------------------------------------- /src/test/scala/viper/gobra/GobraTutorialTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/scala/viper/gobra/GobraTutorialTests.scala -------------------------------------------------------------------------------- /src/test/scala/viper/gobra/OverallBenchmarkTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/scala/viper/gobra/OverallBenchmarkTests.scala -------------------------------------------------------------------------------- /src/test/scala/viper/gobra/PluginAwareChopperTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/scala/viper/gobra/PluginAwareChopperTests.scala -------------------------------------------------------------------------------- /src/test/scala/viper/gobra/ast/FrontendPrettyPrinterUnitTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/scala/viper/gobra/ast/FrontendPrettyPrinterUnitTests.scala -------------------------------------------------------------------------------- /src/test/scala/viper/gobra/ast/InternalPrettyPrinterUnitTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/scala/viper/gobra/ast/InternalPrettyPrinterUnitTests.scala -------------------------------------------------------------------------------- /src/test/scala/viper/gobra/ast/InternalStrategyUnitTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/scala/viper/gobra/ast/InternalStrategyUnitTests.scala -------------------------------------------------------------------------------- /src/test/scala/viper/gobra/erasing/GhostErasureUnitTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/scala/viper/gobra/erasing/GhostErasureUnitTests.scala -------------------------------------------------------------------------------- /src/test/scala/viper/gobra/parsing/GoParserUnitTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/scala/viper/gobra/parsing/GoParserUnitTests.scala -------------------------------------------------------------------------------- /src/test/scala/viper/gobra/parsing/GobraParserTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/scala/viper/gobra/parsing/GobraParserTests.scala -------------------------------------------------------------------------------- /src/test/scala/viper/gobra/parsing/GobrafyUnitTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/scala/viper/gobra/parsing/GobrafyUnitTests.scala -------------------------------------------------------------------------------- /src/test/scala/viper/gobra/parsing/ParserTestFrontend.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/scala/viper/gobra/parsing/ParserTestFrontend.scala -------------------------------------------------------------------------------- /src/test/scala/viper/gobra/parsing/ParserUnitTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/scala/viper/gobra/parsing/ParserUnitTests.scala -------------------------------------------------------------------------------- /src/test/scala/viper/gobra/reporting/StatsCollectorTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/scala/viper/gobra/reporting/StatsCollectorTests.scala -------------------------------------------------------------------------------- /src/test/scala/viper/gobra/typing/ExprTypingUnitTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/scala/viper/gobra/typing/ExprTypingUnitTests.scala -------------------------------------------------------------------------------- /src/test/scala/viper/gobra/typing/MemberTypingUnitTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/scala/viper/gobra/typing/MemberTypingUnitTests.scala -------------------------------------------------------------------------------- /src/test/scala/viper/gobra/typing/StmtTypingUnitTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/scala/viper/gobra/typing/StmtTypingUnitTests.scala -------------------------------------------------------------------------------- /src/test/scala/viper/gobra/typing/TypeTypingUnitTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/src/test/scala/viper/gobra/typing/TypeTypingUnitTests.scala -------------------------------------------------------------------------------- /workflow-container/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/viperproject/gobra/HEAD/workflow-container/Dockerfile --------------------------------------------------------------------------------