Skip to content
Snippets Groups Projects
Select Git revision
  • 62a7d11bd0b3a86bc145099c5c7e4098a0b62a35
  • master default protected
  • update-goal-generator
  • add-overrides==4.1.2
  • eval-v1
  • eval-v2
  • dev
7 results

utils.py

Blame
  • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    TLA2BException.java 166 B
    package de.tla2b.exceptions;
    
    @SuppressWarnings("serial")
    public abstract class TLA2BException extends Exception{
    
    	public TLA2BException(String e){
    		super(e);
    	}
    }