[Truffle] Massive untagging of specs.

jruby · Jan 7, 2015 · fe7f9c7 · fe7f9c7
1 parent 206152a
commit fe7f9c7
Showing 87 changed files with 4 additions and 570 deletions.
diff --git a/spec/truffle/tags/core/array/allocate_tags.txt b/spec/truffle/tags/core/array/allocate_tags.txt
diff --git a/spec/truffle/tags/core/array/array_tags.txt b/spec/truffle/tags/core/array/array_tags.txt
diff --git a/spec/truffle/tags/core/array/clear_tags.txt b/spec/truffle/tags/core/array/clear_tags.txt
@@ -1,3 +1 @@
-fails:Array#clear keeps tainted status
-fails:Array#clear keeps untrusted status
 fails:Array#clear raises a RuntimeError on a frozen array
diff --git a/spec/truffle/tags/core/array/clone_tags.txt b/spec/truffle/tags/core/array/clone_tags.txt
@@ -1,6 +1,4 @@
 fails:Array#clone returns an Array or a subclass instance
-fails:Array#clone creates a new array containing all elements or the original
 fails:Array#clone copies taint status from the original
 fails:Array#clone copies untrusted status from the original
 fails:Array#clone copies frozen status from the original
-fails:Array#clone copies singleton methods
diff --git a/spec/truffle/tags/core/array/collect_tags.txt b/spec/truffle/tags/core/array/collect_tags.txt
@@ -5,8 +5,6 @@ fails:Array#collect does not copy tainted status
 fails:Array#collect does not copy untrusted status
 fails:Array#collect! returns the evaluated value of block but its contents is partially modified, if it broke in the block
 fails:Array#collect! returns an Enumerator when no block given, and the enumerator can modify the original array
-fails:Array#collect! keeps tainted status
-fails:Array#collect! keeps untrusted status
 fails:Array#collect! when frozen raises a RuntimeError
 fails:Array#collect! when frozen raises a RuntimeError when empty
 fails:Array#collect! when frozen raises a RuntimeError when calling #each on the returned Enumerator

diff --git a/spec/truffle/tags/core/array/comparison_tags.txt b/spec/truffle/tags/core/array/comparison_tags.txt
@@ -4,6 +4,5 @@ fails:Array#<=> returns +1 if the array is longer than the other array
 fails:Array#<=> returns -1 if the arrays have same length and a pair of corresponding elements returns -1 for <=>
 fails:Array#<=> returns +1 if the arrays have same length and a pair of corresponding elements returns +1 for <=>
 fails:Array#<=> properly handles recursive arrays
-fails:Array#<=> tries to convert the passed argument to an Array using #to_ary
 fails:Array#<=> does not call #to_ary on Array subclasses
 fails:Array#<=> returns nil when the argument is not array-like
diff --git a/spec/truffle/tags/core/array/concat_tags.txt b/spec/truffle/tags/core/array/concat_tags.txt
@@ -2,9 +2,7 @@ fails:Array#concat tries to convert the passed argument to an Array using #to_ar
 fails:Array#concat does not call #to_ary on Array subclasses
 fails:Array#concat raises a RuntimeError when Array is frozen and modification occurs
 fails:Array#concat raises a RuntimeError when Array is frozen and no modification occurs
-fails:Array#concat keeps tainted status
 fails:Array#concat is not infected by the other
 fails:Array#concat keeps the tainted status of elements
-fails:Array#concat keeps untrusted status
 fails:Array#concat is not infected untrustedness by the other
 fails:Array#concat keeps the untrusted status of elements
diff --git a/spec/truffle/tags/core/array/delete_at_tags.txt b/spec/truffle/tags/core/array/delete_at_tags.txt
@@ -1,6 +1,3 @@
-fails:Array#delete_at removes the element at the specified index
 fails:Array#delete_at returns nil and makes no modification if the index is out of range
 fails:Array#delete_at tries to convert the passed argument to an Integer using #to_int
 fails:Array#delete_at raises a RuntimeError on a frozen array
-fails:Array#delete_at keeps tainted status
-fails:Array#delete_at keeps untrusted status
diff --git a/spec/truffle/tags/core/array/delete_tags.txt b/spec/truffle/tags/core/array/delete_tags.txt
@@ -1,5 +1,3 @@
 fails:Array#delete removes elements that are #== to object
 fails:Array#delete may be given a block that is executed if no element matches object
 fails:Array#delete raises a RuntimeError on a frozen array
-fails:Array#delete keeps tainted status
-fails:Array#delete keeps untrusted status
diff --git a/spec/truffle/tags/core/array/dup_tags.txt b/spec/truffle/tags/core/array/dup_tags.txt
@@ -1,4 +1,3 @@
 fails:Array#dup returns an Array or a subclass instance
-fails:Array#dup creates a new array containing all elements or the original
 fails:Array#dup copies taint status from the original
 fails:Array#dup copies untrusted status from the original
diff --git a/spec/truffle/tags/core/array/element_reference_tags.txt b/spec/truffle/tags/core/array/element_reference_tags.txt
@@ -4,7 +4,6 @@ fails:Array#[] returns the subarray which is independent to self with [index,cou
 fails:Array#[] tries to convert the passed argument to an Integer using #to_int
 fails:Array#[] returns the elements specified by Range indexes with [m..n]
 fails:Array#[] returns elements specified by Range indexes except the element at index n with [m...n]
-fails:Array#[] returns elements that exist if range start is in the array but range end is not with [m..n]
 fails:Array#[] accepts Range instances having a negative m and both signs for n with [m..n] and [m...n]
 fails:Array#[] returns the subarray which is independent to self with [m..n]
 fails:Array#[] tries to convert Range elements to Integers using #to_int with [m..n] and [m...n]
@@ -13,7 +12,6 @@ fails:Array#[] returns [] if index == array.size with [index, length]
 fails:Array#[] returns nil if length is negative with [index, length]
 fails:Array#[] returns an empty array when m == n with [m...n]
 fails:Array#[] returns an empty array with [0...0]
-fails:Array#[] returns a subarray where m, n negatives and m < n with [m..n]
 fails:Array#[] returns an array containing the first element with [0..0]
 fails:Array#[] returns the entire array with [0..-1]
 fails:Array#[] returns all but the last element with [0...-1]

diff --git a/spec/truffle/tags/core/array/eql_tags.txt b/spec/truffle/tags/core/array/eql_tags.txt
@@ -1,5 +1,4 @@
 fails:Array#eql? handles well recursive arrays
-fails:Array#eql? does not call #to_ary on its argument
 fails:Array#eql? does not call #to_ary on Array subclasses
 fails:Array#eql? ignores array class differences
 fails:Array#eql? returns false if any corresponding elements are not #eql?
diff --git a/spec/truffle/tags/core/array/equal_value_tags.txt b/spec/truffle/tags/core/array/equal_value_tags.txt
@@ -1,13 +1,4 @@
-fails:Array#== returns true if other is the same array
-fails:Array#== returns true if corresponding elements are #eql?
-fails:Array#== returns false if other is shorter than self
-fails:Array#== returns false if other is longer than self
-fails:Array#== returns false immediately when sizes of the arrays differ
 fails:Array#== handles well recursive arrays
-fails:Array#== does not call #to_ary on its argument
 fails:Array#== does not call #to_ary on Array subclasses
 fails:Array#== ignores array class differences
 fails:Array#== compares with an equivalent Array-like object using #to_ary
-fails:Array#== returns false if any corresponding elements are not #==
-fails:Array#== returns true if corresponding elements are #==
-fails:Array#== returns false for [NaN] == [NaN]
diff --git a/spec/truffle/tags/core/array/fill_tags.txt b/spec/truffle/tags/core/array/fill_tags.txt
@@ -22,8 +22,6 @@ fails:Array#fill with (filler, index, length) pads between the last element and
 fails:Array#fill with (filler, index, length) replaces length elements beginning with the (-n)th if given an index n < 0 and a length > 0
 fails:Array#fill with (filler, index, length) starts at 0 if the negative index is before the start of the array
 fails:Array#fill with (filler, index, length) makes no modifications if the given length <= 0
-fails:Array#fill with (filler, index, length) does not raise an exception if the given length is negative and its absolute value does not exceed the index
-fails:Array#fill with (filler, index, length) does not raise an exception even if the given length is negative and its absolute value exceeds the index
 fails:Array#fill with (filler, index, length) tries to convert the second and third arguments to Integers using #to_int
 fails:Array#fill with (filler, index, length) raises a TypeError if the index is not numeric
 fails:Array#fill with (filler, index, length) raises an ArgumentError or RangeError for too-large sizes

diff --git a/spec/truffle/tags/core/array/first_tags.txt b/spec/truffle/tags/core/array/first_tags.txt
@@ -1,13 +1,9 @@
-fails:Array#first returns the first element
-fails:Array#first returns nil if self is empty
 fails:Array#first returns the first count elements if given a count
 fails:Array#first returns an empty array when passed count on an empty array
 fails:Array#first returns an empty array when passed count == 0
 fails:Array#first returns an array containing the first element when passed count == 1
-fails:Array#first raises an ArgumentError when count is negative
 fails:Array#first returns the entire array when count > length
 fails:Array#first returns an array which is independent to the original when passed count
-fails:Array#first properly handles recursive arrays
 fails:Array#first tries to convert the passed argument to an Integer using #to_int
 fails:Array#first raises a TypeError if the passed argument is not numeric
 fails:Array#first does not return subclass instance when passed count on Array subclasses

diff --git a/spec/truffle/tags/core/array/flatten_tags.txt b/spec/truffle/tags/core/array/flatten_tags.txt
@@ -8,10 +8,8 @@ fails:Array#flatten does not call flatten on elements
 fails:Array#flatten raises an ArgumentError on recursive arrays
 fails:Array#flatten flattens any element which responds to #to_ary, using the return value of said method
 fails:Array#flatten returns subclass instance for Array subclasses
-fails:Array#flatten is not destructive
 fails:Array#flatten returns a tainted array if self is tainted
 fails:Array#flatten returns an untrusted array if self is untrusted
-fails:Array#flatten with a non-Array object in the Array does not call #to_ary if the method does not exist
 fails:Array#flatten with a non-Array object in the Array ignores the return value of #to_ary if it is nil
 fails:Array#flatten with a non-Array object in the Array raises a TypeError if the return value of #to_ary is not an Array
 fails:Array#flatten! modifies array to produce a one-dimensional flattening recursively

diff --git a/spec/truffle/tags/core/array/frozen_tags.txt b/spec/truffle/tags/core/array/frozen_tags.txt
@@ -1,2 +1 @@
-fails:Array#frozen? returns true if array is frozen
 fails:Array#frozen? returns false for an array being sorted by #sort
diff --git a/spec/truffle/tags/core/array/include_tags.txt b/spec/truffle/tags/core/array/include_tags.txt
diff --git a/spec/truffle/tags/core/array/initialize_copy_tags.txt b/spec/truffle/tags/core/array/initialize_copy_tags.txt
@@ -1,8 +1,3 @@
-fails:Array#initialize_copy is private
-fails:Array#initialize_copy replaces the elements with elements from other array
-fails:Array#initialize_copy properly handles recursive arrays
-fails:Array#initialize_copy returns self
-fails:Array#initialize_copy does not make self dependent to the original array
 fails:Array#initialize_copy tries to convert the passed argument to an Array using #to_ary
 fails:Array#initialize_copy does not call #to_ary on Array subclasses
 fails:Array#initialize_copy raises a RuntimeError on a frozen array
diff --git a/spec/truffle/tags/core/array/initialize_tags.txt b/spec/truffle/tags/core/array/initialize_tags.txt
@@ -1,24 +1,17 @@
-fails:Array#initialize is private
-fails:Array#initialize is called on subclasses
 fails:Array#initialize preserves the object's identity even when changing its value
-fails:Array#initialize raises an ArgumentError if passed 3 or more arguments
 fails:Array#initialize raises a RuntimeError on frozen arrays
 fails:Array#initialize calls #to_ary to convert the value to an array, even if it's private
 fails:Array#initialize with no arguments makes the array empty
 fails:Array#initialize with no arguments does not use the given block
-fails:Array#initialize with (array) replaces self with the other array
 fails:Array#initialize with (array) does not use the given block
 fails:Array#initialize with (array) calls #to_ary to convert the value to an array
-fails:Array#initialize with (array) does not call #to_ary on instances of Array or subclasses of Array
 fails:Array#initialize with (array) raises a TypeError if an Array type argument and a default object
-fails:Array#initialize with (size, object=nil) sets the array to size and fills with the object
 fails:Array#initialize with (size, object=nil) sets the array to size and fills with nil when object is omitted
 fails:Array#initialize with (size, object=nil) raises an ArgumentError if size is negative
 fails:Array#initialize with (size, object=nil) raises an ArgumentError if size is too large
 fails:Array#initialize with (size, object=nil) calls #to_int to convert the size argument to an Integer when object is given
 fails:Array#initialize with (size, object=nil) calls #to_int to convert the size argument to an Integer when object is not given
 fails:Array#initialize with (size, object=nil) raises a TypeError if the size argument is not an Integer type
-fails:Array#initialize with (size, object=nil) yields the index of the element and sets the element to the value of the block
 fails:Array#initialize with (size, object=nil) uses the block value instead of using the default value
 fails:Array#initialize with (size, object=nil) returns the value passed to break
 fails:Array#initialize with (size, object=nil) sets the array to the values returned by the block before break is executed
diff --git a/spec/truffle/tags/core/array/insert_tags.txt b/spec/truffle/tags/core/array/insert_tags.txt
@@ -7,6 +7,5 @@ fails:Array#insert can insert before the first element with a negative index
 fails:Array#insert raises an IndexError if the negative index is out of bounds
 fails:Array#insert does nothing of no object is passed
 fails:Array#insert tries to convert the passed position argument to an Integer using #to_int
-fails:Array#insert raises an ArgumentError if no argument passed
 fails:Array#insert raises a RuntimeError on frozen arrays when the array is modified
 fails:Array#insert raises a RuntimeError on frozen arrays when the array would not be modified
diff --git a/spec/truffle/tags/core/array/inspect_tags.txt b/spec/truffle/tags/core/array/inspect_tags.txt
@@ -1,6 +1,3 @@
-fails:Array#inspect returns a string
-fails:Array#inspect returns '[]' for an empty Array
-fails:Array#inspect calls inspect on its elements and joins the results with commas
 fails:Array#inspect represents a recursive element with '[...]'
 fails:Array#inspect taints the result if the Array is non-empty and tainted
 fails:Array#inspect does not taint the result if the Array is tainted but empty
@@ -9,6 +6,5 @@ fails:Array#inspect untrusts the result if the Array is untrusted
 fails:Array#inspect does not untrust the result if the Array is untrusted but empty
 fails:Array#inspect untrusts the result if an element is untrusted
 fails:Array#inspect with encoding returns a US-ASCII string for an empty Array
-fails:Array#inspect with encoding use the default external encoding if it is ascii compatible
 fails:Array#inspect with encoding use US-ASCII encoding if the default external encoding is not ascii compatible
 fails:Array#inspect with encoding raises if inspected result is not default external encoding
diff --git a/spec/truffle/tags/core/array/join_tags.txt b/spec/truffle/tags/core/array/join_tags.txt
@@ -1,8 +1,6 @@
 fails:Array#join returns a string formed by concatenating each element.to_str separated by separator
 fails:Array#join uses the same separator with nested arrays
-fails:Array#join returns an empty string if the Array is empty
 fails:Array#join returns a US-ASCII string for an empty Array
-fails:Array#join returns a string formed by concatenating each String element separated by $,
 fails:Array#join attempts coercion via #to_str first
 fails:Array#join attempts coercion via #to_ary second
 fails:Array#join attempts coercion via #to_s third
@@ -14,7 +12,6 @@ fails:Array#join untrusts the result if the Array is untrusted and non-empty
 fails:Array#join does not untrust the result if the Array is untrusted but empty
 fails:Array#join untrusts the result if the result of coercing an element is untrusted
 fails:Array#join uses the first encoding when other strings are compatible
-fails:Array#join uses the widest common encoding when other strings are incompatible
 fails:Array#join fails for arrays with incompatibly-encoded strings
 fails:Array#join does not separate elements when the passed separator is nil
 fails:Array#join calls #to_str to convert the separator to a String

diff --git a/spec/truffle/tags/core/array/map_tags.txt b/spec/truffle/tags/core/array/map_tags.txt
@@ -5,8 +5,6 @@ fails:Array#map does not copy tainted status
 fails:Array#map does not copy untrusted status
 fails:Array#map! returns the evaluated value of block but its contents is partially modified, if it broke in the block
 fails:Array#map! returns an Enumerator when no block given, and the enumerator can modify the original array
-fails:Array#map! keeps tainted status
-fails:Array#map! keeps untrusted status
 fails:Array#map! when frozen raises a RuntimeError
 fails:Array#map! when frozen raises a RuntimeError when empty
 fails:Array#map! when frozen raises a RuntimeError when calling #each on the returned Enumerator

diff --git a/spec/truffle/tags/core/array/minus_tags.txt b/spec/truffle/tags/core/array/minus_tags.txt
@@ -1,9 +1,6 @@
-fails:Array#- creates an array minus any items from other array
-fails:Array#- properly handles recursive arrays
 fails:Array#- tries to convert the passed arguments to Arrays using #to_ary
 fails:Array#- raises a TypeError if the argument cannot be coerced to an Array by calling #to_ary
 fails:Array#- does not return subclass instance for Array subclasses
 fails:Array#- does not call to_ary on array subclasses
 fails:Array#- removes an item identified as equivalent via #hash and #eql?
 fails:Array#- doesn't remove an item with the same hash but not #eql?
-fails:Array#- is not destructive
diff --git a/spec/truffle/tags/core/array/new_tags.txt b/spec/truffle/tags/core/array/new_tags.txt
@@ -1,18 +1,14 @@
 fails:Array.new returns an instance of Array
-fails:Array.new returns an instance of a subclass
 fails:Array.new with no arguments returns an empty array
 fails:Array.new with no arguments does not use the given block
-fails:Array.new with (array) returns an array initialized to the other array
 fails:Array.new with (array) does not use the given block
 fails:Array.new with (array) calls #to_ary to convert the value to an array
-fails:Array.new with (array) does not call #to_ary on instances of Array or subclasses of Array
 fails:Array.new with (array) raises a TypeError if an Array type argument and a default object
 fails:Array.new with (size, object=nil) returns an array of size filled with nil when object is omitted
 fails:Array.new with (size, object=nil) raises an ArgumentError if size is negative
 fails:Array.new with (size, object=nil) raises an ArgumentError if size is too large
 fails:Array.new with (size, object=nil) calls #to_int to convert the size argument to an Integer when object is given
 fails:Array.new with (size, object=nil) calls #to_int to convert the size argument to an Integer when object is not given
 fails:Array.new with (size, object=nil) raises a TypeError if the size argument is not an Integer type
-fails:Array.new with (size, object=nil) yields the index of the element and sets the element to the value of the block
 fails:Array.new with (size, object=nil) uses the block value instead of using the default value
 fails:Array.new with (size, object=nil) returns the value passed to break
diff --git a/spec/truffle/tags/core/array/pack/a_tags.txt b/spec/truffle/tags/core/array/pack/a_tags.txt
@@ -17,7 +17,6 @@ fails:Array#pack with format 'A' returns a untrusted string when the format is u
 fails:Array#pack with format 'A' returns a untrusted string when the empty format is untrusted
 fails:Array#pack with format 'A' returns a untrusted string when a pack argument is untrusted
 fails:Array#pack with format 'A' returns a trusted string when the array is untrusted
-fails:Array#pack with format 'A' returns a string in encoding of common to the concatenated results
 fails:Array#pack with format 'a' raises a TypeError when passed nil
 fails:Array#pack with format 'a' raises a TypeError when passed an Integer
 fails:Array#pack with format 'a' ignores whitespace in the format string
@@ -37,4 +36,3 @@ fails:Array#pack with format 'a' returns a untrusted string when the format is u
 fails:Array#pack with format 'a' returns a untrusted string when the empty format is untrusted
 fails:Array#pack with format 'a' returns a untrusted string when a pack argument is untrusted
 fails:Array#pack with format 'a' returns a trusted string when the array is untrusted
-fails:Array#pack with format 'a' returns a string in encoding of common to the concatenated results
diff --git a/spec/truffle/tags/core/array/pack/b_tags.txt b/spec/truffle/tags/core/array/pack/b_tags.txt
@@ -7,8 +7,6 @@ fails:Array#pack with format 'B' raises an ArgumentError if there are fewer elem
 fails:Array#pack with format 'B' raises a TypeError if the object does not respond to #to_str
 fails:Array#pack with format 'B' raises a TypeError if #to_str does not return a String
 fails:Array#pack with format 'B' calls #to_str to convert an Object to a String
-fails:Array#pack with format 'B' returns an ASCII-8BIT string
-fails:Array#pack with format 'B' encodes the string as a sequence of bytes
 fails:Array#pack with format 'b' raises a TypeError when passed nil
 fails:Array#pack with format 'b' raises a TypeError when passed an Integer
 fails:Array#pack with format 'b' ignores whitespace in the format string
@@ -18,5 +16,3 @@ fails:Array#pack with format 'b' raises an ArgumentError if there are fewer elem
 fails:Array#pack with format 'b' raises a TypeError if the object does not respond to #to_str
 fails:Array#pack with format 'b' raises a TypeError if #to_str does not return a String
 fails:Array#pack with format 'b' calls #to_str to convert an Object to a String
-fails:Array#pack with format 'b' returns an ASCII-8BIT string
-fails:Array#pack with format 'b' encodes the string as a sequence of bytes
diff --git a/spec/truffle/tags/core/array/pack/c_tags.txt b/spec/truffle/tags/core/array/pack/c_tags.txt
@@ -4,11 +4,9 @@ fails:Array#pack with format 'C' ignores whitespace in the format string
 fails:Array#pack with format 'C' calls #to_str to coerce the directives string
 fails:Array#pack with format 'C' taints the output string if the format string is tainted
 fails:Array#pack with format 'C' calls #to_int to convert the pack argument to an Integer
-fails:Array#pack with format 'C' encodes the number of array elements specified by the count modifier
 fails:Array#pack with format 'C' raises an ArgumentError if there are fewer elements than the format requires
 fails:Array#pack with format 'C' raises a TypeError when passed true
 fails:Array#pack with format 'C' raises a TypeError when passed false
-fails:Array#pack with format 'C' returns an ASCII-8BIT string
 fails:Array#pack with format 'C' raises a TypeError when the object does not respond to #to_int
 fails:Array#pack with format 'C' raises a TypeError when passed a String
 fails:Array#pack with format 'C' raises ArgumentError when the format modifier is '_'
@@ -19,11 +17,9 @@ fails:Array#pack with format 'c' ignores whitespace in the format string
 fails:Array#pack with format 'c' calls #to_str to coerce the directives string
 fails:Array#pack with format 'c' taints the output string if the format string is tainted
 fails:Array#pack with format 'c' calls #to_int to convert the pack argument to an Integer
-fails:Array#pack with format 'c' encodes the number of array elements specified by the count modifier
 fails:Array#pack with format 'c' raises an ArgumentError if there are fewer elements than the format requires
 fails:Array#pack with format 'c' raises a TypeError when passed true
 fails:Array#pack with format 'c' raises a TypeError when passed false
-fails:Array#pack with format 'c' returns an ASCII-8BIT string
 fails:Array#pack with format 'c' raises a TypeError when the object does not respond to #to_int
 fails:Array#pack with format 'c' raises a TypeError when passed a String
 fails:Array#pack with format 'c' raises ArgumentError when the format modifier is '_'

diff --git a/spec/truffle/tags/core/array/pack/d_tags.txt b/spec/truffle/tags/core/array/pack/d_tags.txt
@@ -7,22 +7,10 @@ fails:Array#pack with format 'D' raises ArgumentError when the format modifier i
 fails:Array#pack with format 'D' raises ArgumentError when the format modifier is '!'
 fails:Array#pack with format 'D' raises a TypeError when passed true
 fails:Array#pack with format 'D' raises a TypeError when passed false
-fails:Array#pack with format 'D' returns an ASCII-8BIT string
 fails:Array#pack with format 'D' raises a TypeError if a String does not represent a floating point number
 fails:Array#pack with format 'D' raises a TypeError when the object does not respond to #to_f
-fails:Array#pack with format 'D' encodes a positive Float
-fails:Array#pack with format 'D' encodes a negative Float
-fails:Array#pack with format 'D' converts an Integer to a Float
 fails:Array#pack with format 'D' raises a TypeError if passed a String representation of a floating point number
-fails:Array#pack with format 'D' encodes the number of array elements specified by the count modifier
-fails:Array#pack with format 'D' encodes all remaining elements when passed the '*' modifier
-fails:Array#pack with format 'D' ignores NULL bytes between directives
-fails:Array#pack with format 'D' ignores spaces between directives
-fails:Array#pack with format 'D' encodes positive Infinity
-fails:Array#pack with format 'D' encodes negative Infinity
 fails:Array#pack with format 'D' encodes NaN
-fails:Array#pack with format 'D' encodes a positive Float outside the range of a single precision float
-fails:Array#pack with format 'D' encodes a negative Float outside the range of a single precision float
 fails:Array#pack with format 'd' raises a TypeError when passed nil
 fails:Array#pack with format 'd' raises a TypeError when passed an Integer
 fails:Array#pack with format 'd' calls #to_str to coerce the directives string
@@ -32,19 +20,7 @@ fails:Array#pack with format 'd' raises ArgumentError when the format modifier i
 fails:Array#pack with format 'd' raises ArgumentError when the format modifier is '!'
 fails:Array#pack with format 'd' raises a TypeError when passed true
 fails:Array#pack with format 'd' raises a TypeError when passed false
-fails:Array#pack with format 'd' returns an ASCII-8BIT string
 fails:Array#pack with format 'd' raises a TypeError if a String does not represent a floating point number
 fails:Array#pack with format 'd' raises a TypeError when the object does not respond to #to_f
-fails:Array#pack with format 'd' encodes a positive Float
-fails:Array#pack with format 'd' encodes a negative Float
-fails:Array#pack with format 'd' converts an Integer to a Float
 fails:Array#pack with format 'd' raises a TypeError if passed a String representation of a floating point number
-fails:Array#pack with format 'd' encodes the number of array elements specified by the count modifier
-fails:Array#pack with format 'd' encodes all remaining elements when passed the '*' modifier
-fails:Array#pack with format 'd' ignores NULL bytes between directives
-fails:Array#pack with format 'd' ignores spaces between directives
-fails:Array#pack with format 'd' encodes positive Infinity
-fails:Array#pack with format 'd' encodes negative Infinity
 fails:Array#pack with format 'd' encodes NaN
-fails:Array#pack with format 'd' encodes a positive Float outside the range of a single precision float
-fails:Array#pack with format 'd' encodes a negative Float outside the range of a single precision float
diff --git a/spec/truffle/tags/core/array/pack/e_tags.txt b/spec/truffle/tags/core/array/pack/e_tags.txt
@@ -7,7 +7,6 @@ fails:Array#pack with format 'E' raises ArgumentError when the format modifier i
 fails:Array#pack with format 'E' raises ArgumentError when the format modifier is '!'
 fails:Array#pack with format 'E' raises a TypeError when passed true
 fails:Array#pack with format 'E' raises a TypeError when passed false
-fails:Array#pack with format 'E' returns an ASCII-8BIT string
 fails:Array#pack with format 'E' raises a TypeError if a String does not represent a floating point number
 fails:Array#pack with format 'E' raises a TypeError when the object does not respond to #to_f
 fails:Array#pack with format 'E' raises a TypeError if passed a String representation of a floating point number
@@ -21,7 +20,6 @@ fails:Array#pack with format 'e' raises ArgumentError when the format modifier i
 fails:Array#pack with format 'e' raises ArgumentError when the format modifier is '!'
 fails:Array#pack with format 'e' raises a TypeError when passed true
 fails:Array#pack with format 'e' raises a TypeError when passed false
-fails:Array#pack with format 'e' returns an ASCII-8BIT string
 fails:Array#pack with format 'e' raises a TypeError if a String does not represent a floating point number
 fails:Array#pack with format 'e' raises a TypeError when the object does not respond to #to_f
 fails:Array#pack with format 'e' raises a TypeError if passed a String representation of a floating point number

diff --git a/spec/truffle/tags/core/array/pack/f_tags.txt b/spec/truffle/tags/core/array/pack/f_tags.txt
@@ -7,22 +7,10 @@ fails:Array#pack with format 'F' raises ArgumentError when the format modifier i
 fails:Array#pack with format 'F' raises ArgumentError when the format modifier is '!'
 fails:Array#pack with format 'F' raises a TypeError when passed true
 fails:Array#pack with format 'F' raises a TypeError when passed false
-fails:Array#pack with format 'F' returns an ASCII-8BIT string
 fails:Array#pack with format 'F' raises a TypeError if a String does not represent a floating point number
 fails:Array#pack with format 'F' raises a TypeError when the object does not respond to #to_f
-fails:Array#pack with format 'F' encodes a positive Float
-fails:Array#pack with format 'F' encodes a negative Float
-fails:Array#pack with format 'F' converts an Integer to a Float
 fails:Array#pack with format 'F' raises a TypeError if passed a String representation of a floating point number
-fails:Array#pack with format 'F' encodes the number of array elements specified by the count modifier
-fails:Array#pack with format 'F' encodes all remaining elements when passed the '*' modifier
-fails:Array#pack with format 'F' ignores NULL bytes between directives
-fails:Array#pack with format 'F' ignores spaces between directives
-fails:Array#pack with format 'F' encodes positive Infinity
-fails:Array#pack with format 'F' encodes negative Infinity
 fails:Array#pack with format 'F' encodes NaN
-fails:Array#pack with format 'F' encodes a positive Float outside the range of a single precision float
-fails:Array#pack with format 'F' encodes a negative Float outside the range of a single precision float
 fails:Array#pack with format 'f' raises a TypeError when passed nil
 fails:Array#pack with format 'f' raises a TypeError when passed an Integer
 fails:Array#pack with format 'f' calls #to_str to coerce the directives string
@@ -32,19 +20,7 @@ fails:Array#pack with format 'f' raises ArgumentError when the format modifier i
 fails:Array#pack with format 'f' raises ArgumentError when the format modifier is '!'
 fails:Array#pack with format 'f' raises a TypeError when passed true
 fails:Array#pack with format 'f' raises a TypeError when passed false
-fails:Array#pack with format 'f' returns an ASCII-8BIT string
 fails:Array#pack with format 'f' raises a TypeError if a String does not represent a floating point number
 fails:Array#pack with format 'f' raises a TypeError when the object does not respond to #to_f
-fails:Array#pack with format 'f' encodes a positive Float
-fails:Array#pack with format 'f' encodes a negative Float
-fails:Array#pack with format 'f' converts an Integer to a Float
 fails:Array#pack with format 'f' raises a TypeError if passed a String representation of a floating point number
-fails:Array#pack with format 'f' encodes the number of array elements specified by the count modifier
-fails:Array#pack with format 'f' encodes all remaining elements when passed the '*' modifier
-fails:Array#pack with format 'f' ignores NULL bytes between directives
-fails:Array#pack with format 'f' ignores spaces between directives
-fails:Array#pack with format 'f' encodes positive Infinity
-fails:Array#pack with format 'f' encodes negative Infinity
 fails:Array#pack with format 'f' encodes NaN
-fails:Array#pack with format 'f' encodes a positive Float outside the range of a single precision float
-fails:Array#pack with format 'f' encodes a negative Float outside the range of a single precision float
diff --git a/spec/truffle/tags/core/array/pack/g_tags.txt b/spec/truffle/tags/core/array/pack/g_tags.txt
@@ -7,7 +7,6 @@ fails:Array#pack with format 'G' raises ArgumentError when the format modifier i
 fails:Array#pack with format 'G' raises ArgumentError when the format modifier is '!'
 fails:Array#pack with format 'G' raises a TypeError when passed true
 fails:Array#pack with format 'G' raises a TypeError when passed false
-fails:Array#pack with format 'G' returns an ASCII-8BIT string
 fails:Array#pack with format 'G' raises a TypeError if a String does not represent a floating point number
 fails:Array#pack with format 'G' raises a TypeError when the object does not respond to #to_f
 fails:Array#pack with format 'G' raises a TypeError if passed a String representation of a floating point number
@@ -21,7 +20,6 @@ fails:Array#pack with format 'g' raises ArgumentError when the format modifier i
 fails:Array#pack with format 'g' raises ArgumentError when the format modifier is '!'
 fails:Array#pack with format 'g' raises a TypeError when passed true
 fails:Array#pack with format 'g' raises a TypeError when passed false
-fails:Array#pack with format 'g' returns an ASCII-8BIT string
 fails:Array#pack with format 'g' raises a TypeError if a String does not represent a floating point number
 fails:Array#pack with format 'g' raises a TypeError when the object does not respond to #to_f
 fails:Array#pack with format 'g' raises a TypeError if passed a String representation of a floating point number

diff --git a/spec/truffle/tags/core/array/pack/h_tags.txt b/spec/truffle/tags/core/array/pack/h_tags.txt
@@ -7,7 +7,6 @@ fails:Array#pack with format 'H' raises an ArgumentError if there are fewer elem
 fails:Array#pack with format 'H' raises a TypeError if the object does not respond to #to_str
 fails:Array#pack with format 'H' raises a TypeError if #to_str does not return a String
 fails:Array#pack with format 'H' calls #to_str to convert an Object to a String
-fails:Array#pack with format 'H' returns an ASCII-8BIT string
 fails:Array#pack with format 'h' raises a TypeError when passed nil
 fails:Array#pack with format 'h' raises a TypeError when passed an Integer
 fails:Array#pack with format 'h' ignores whitespace in the format string
@@ -17,4 +16,3 @@ fails:Array#pack with format 'h' raises an ArgumentError if there are fewer elem
 fails:Array#pack with format 'h' raises a TypeError if the object does not respond to #to_str
 fails:Array#pack with format 'h' raises a TypeError if #to_str does not return a String
 fails:Array#pack with format 'h' calls #to_str to convert an Object to a String
-fails:Array#pack with format 'h' returns an ASCII-8BIT string
diff --git a/spec/truffle/tags/core/array/pack/i_tags.txt b/spec/truffle/tags/core/array/pack/i_tags.txt
@@ -6,7 +6,6 @@ fails:Array#pack with format 'I' taints the output string if the format string i
 fails:Array#pack with format 'I' raises an ArgumentError if there are fewer elements than the format requires
 fails:Array#pack with format 'I' raises a TypeError when passed true
 fails:Array#pack with format 'I' raises a TypeError when passed false
-fails:Array#pack with format 'I' returns an ASCII-8BIT string
 fails:Array#pack with format 'I' raises a TypeError when the object does not respond to #to_int
 fails:Array#pack with format 'I' raises a TypeError when passed a String
 fails:Array#pack with format 'i' raises a TypeError when passed nil
@@ -17,7 +16,6 @@ fails:Array#pack with format 'i' taints the output string if the format string i
 fails:Array#pack with format 'i' raises an ArgumentError if there are fewer elements than the format requires
 fails:Array#pack with format 'i' raises a TypeError when passed true
 fails:Array#pack with format 'i' raises a TypeError when passed false
-fails:Array#pack with format 'i' returns an ASCII-8BIT string
 fails:Array#pack with format 'i' raises a TypeError when the object does not respond to #to_int
 fails:Array#pack with format 'i' raises a TypeError when passed a String
 fails:Array#pack with format 'I' with modifier '<' calls #to_int to convert the pack argument to an Integer
@@ -32,35 +30,5 @@ fails:Array#pack with format 'i' with modifier '<' and '!' calls #to_int to conv
 fails:Array#pack with format 'i' with modifier '>' calls #to_int to convert the pack argument to an Integer
 fails:Array#pack with format 'i' with modifier '>' and '_' calls #to_int to convert the pack argument to an Integer
 fails:Array#pack with format 'i' with modifier '>' and '!' calls #to_int to convert the pack argument to an Integer
-fails:Array#pack with format 'I' encodes the least significant 32 bits of a positive number
-fails:Array#pack with format 'I' encodes the least significant 32 bits of a negative number
-fails:Array#pack with format 'I' encodes a Float truncated as an Integer
 fails:Array#pack with format 'I' calls #to_int to convert the pack argument to an Integer
-fails:Array#pack with format 'I' encodes the number of array elements specified by the count modifier
-fails:Array#pack with format 'I' encodes all remaining elements when passed the '*' modifier
-fails:Array#pack with format 'I' ignores NULL bytes between directives
-fails:Array#pack with format 'I' ignores spaces between directives
-fails:Array#pack with format 'I' with modifier '_' encodes the least significant 32 bits of a number
-fails:Array#pack with format 'I' with modifier '_' encodes the number of array elements specified by the count modifier
-fails:Array#pack with format 'I' with modifier '_' encodes all remaining elements when passed the '*' modifier
-fails:Array#pack with format 'I' with modifier '_' encodes the least significant 32 bits of a number that is greater than 32 bits
-fails:Array#pack with format 'I' with modifier '!' encodes the least significant 32 bits of a number
-fails:Array#pack with format 'I' with modifier '!' encodes the number of array elements specified by the count modifier
-fails:Array#pack with format 'I' with modifier '!' encodes all remaining elements when passed the '*' modifier
-fails:Array#pack with format 'I' with modifier '!' encodes the least significant 32 bits of a number that is greater than 32 bits
-fails:Array#pack with format 'i' encodes the least significant 32 bits of a positive number
-fails:Array#pack with format 'i' encodes the least significant 32 bits of a negative number
-fails:Array#pack with format 'i' encodes a Float truncated as an Integer
 fails:Array#pack with format 'i' calls #to_int to convert the pack argument to an Integer
-fails:Array#pack with format 'i' encodes the number of array elements specified by the count modifier
-fails:Array#pack with format 'i' encodes all remaining elements when passed the '*' modifier
-fails:Array#pack with format 'i' ignores NULL bytes between directives
-fails:Array#pack with format 'i' ignores spaces between directives
-fails:Array#pack with format 'i' with modifier '_' encodes the least significant 32 bits of a number
-fails:Array#pack with format 'i' with modifier '_' encodes the number of array elements specified by the count modifier
-fails:Array#pack with format 'i' with modifier '_' encodes all remaining elements when passed the '*' modifier
-fails:Array#pack with format 'i' with modifier '_' encodes the least significant 32 bits of a number that is greater than 32 bits
-fails:Array#pack with format 'i' with modifier '!' encodes the least significant 32 bits of a number
-fails:Array#pack with format 'i' with modifier '!' encodes the number of array elements specified by the count modifier
-fails:Array#pack with format 'i' with modifier '!' encodes all remaining elements when passed the '*' modifier
-fails:Array#pack with format 'i' with modifier '!' encodes the least significant 32 bits of a number that is greater than 32 bits
diff --git a/spec/truffle/tags/core/array/pack/l_tags.txt b/spec/truffle/tags/core/array/pack/l_tags.txt
@@ -6,7 +6,6 @@ fails:Array#pack with format 'L' taints the output string if the format string i
 fails:Array#pack with format 'L' raises an ArgumentError if there are fewer elements than the format requires
 fails:Array#pack with format 'L' raises a TypeError when passed true
 fails:Array#pack with format 'L' raises a TypeError when passed false
-fails:Array#pack with format 'L' returns an ASCII-8BIT string
 fails:Array#pack with format 'L' raises a TypeError when the object does not respond to #to_int
 fails:Array#pack with format 'L' raises a TypeError when passed a String
 fails:Array#pack with format 'l' raises a TypeError when passed nil
@@ -17,7 +16,6 @@ fails:Array#pack with format 'l' taints the output string if the format string i
 fails:Array#pack with format 'l' raises an ArgumentError if there are fewer elements than the format requires
 fails:Array#pack with format 'l' raises a TypeError when passed true
 fails:Array#pack with format 'l' raises a TypeError when passed false
-fails:Array#pack with format 'l' returns an ASCII-8BIT string
 fails:Array#pack with format 'l' raises a TypeError when the object does not respond to #to_int
 fails:Array#pack with format 'l' raises a TypeError when passed a String
 fails:Array#pack with format 'L' with modifier '<' calls #to_int to convert the pack argument to an Integer
@@ -88,22 +86,8 @@ fails:Array#pack with format 'l' with modifier '>' and '!' encodes the number of
 fails:Array#pack with format 'l' with modifier '>' and '!' encodes all remaining elements when passed the '*' modifier
 fails:Array#pack with format 'l' with modifier '>' and '!' ignores NULL bytes between directives
 fails:Array#pack with format 'l' with modifier '>' and '!' ignores spaces between directives
-fails:Array#pack with format 'L' encodes the least significant 32 bits of a positive number
-fails:Array#pack with format 'L' encodes the least significant 32 bits of a negative number
-fails:Array#pack with format 'L' encodes a Float truncated as an Integer
 fails:Array#pack with format 'L' calls #to_int to convert the pack argument to an Integer
-fails:Array#pack with format 'L' encodes the number of array elements specified by the count modifier
-fails:Array#pack with format 'L' encodes all remaining elements when passed the '*' modifier
-fails:Array#pack with format 'L' ignores NULL bytes between directives
-fails:Array#pack with format 'L' ignores spaces between directives
-fails:Array#pack with format 'l' encodes the least significant 32 bits of a positive number
-fails:Array#pack with format 'l' encodes the least significant 32 bits of a negative number
-fails:Array#pack with format 'l' encodes a Float truncated as an Integer
 fails:Array#pack with format 'l' calls #to_int to convert the pack argument to an Integer
-fails:Array#pack with format 'l' encodes the number of array elements specified by the count modifier
-fails:Array#pack with format 'l' encodes all remaining elements when passed the '*' modifier
-fails:Array#pack with format 'l' ignores NULL bytes between directives
-fails:Array#pack with format 'l' ignores spaces between directives
 fails:Array#pack with format 'L' with modifier '_' encodes the least significant 64 bits of a positive number
 fails:Array#pack with format 'L' with modifier '_' encodes the least significant 64 bits of a negative number
 fails:Array#pack with format 'L' with modifier '_' encodes a Float truncated as an Integer

diff --git a/spec/truffle/tags/core/array/pack/m_tags.txt b/spec/truffle/tags/core/array/pack/m_tags.txt
@@ -4,32 +4,18 @@ fails:Array#pack with format 'M' ignores whitespace in the format string
 fails:Array#pack with format 'M' calls #to_str to coerce the directives string
 fails:Array#pack with format 'M' taints the output string if the format string is tainted
 fails:Array#pack with format 'M' raises an ArgumentError if there are fewer elements than the format requires
-fails:Array#pack with format 'M' emits a soft line break when the output exceeds 72 characters when passed '*', 0, 1, or no count modifier
-fails:Array#pack with format 'M' emits a soft line break when the output exceeds count characters
 fails:Array#pack with format 'M' encodes a recursive array
 fails:Array#pack with format 'M' calls #to_s to convert an object to a String
 fails:Array#pack with format 'M' converts the object to a String representation if #to_s does not return a String
 fails:Array#pack with format 'M' encodes a Symbol as a String
 fails:Array#pack with format 'M' encodes an Integer as a String
-fails:Array#pack with format 'M' encodes a Float as a String
-fails:Array#pack with format 'M' converts Floats to the minimum unique representation
-fails:Array#pack with format 'M' sets the output string to US-ASCII encoding
 fails:Array#pack with format 'm' raises a TypeError when passed nil
 fails:Array#pack with format 'm' raises a TypeError when passed an Integer
 fails:Array#pack with format 'm' ignores whitespace in the format string
 fails:Array#pack with format 'm' calls #to_str to coerce the directives string
 fails:Array#pack with format 'm' taints the output string if the format string is tainted
 fails:Array#pack with format 'm' raises an ArgumentError if there are fewer elements than the format requires
-fails:Array#pack with format 'm' encodes an empty string as an empty string
-fails:Array#pack with format 'm' appends a newline to the end of the encoded string
-fails:Array#pack with format 'm' encodes one element per directive
-fails:Array#pack with format 'm' encodes 1, 2, or 3 characters in 4 output characters (Base64 encoding)
-fails:Array#pack with format 'm' emits a newline after complete groups of count / 3 input characters when passed a count modifier
-fails:Array#pack with format 'm' implicitly has a count of 45 when passed '*', 1, 2 or no count modifier
-fails:Array#pack with format 'm' encodes all ascii characters
 fails:Array#pack with format 'm' calls #to_str to convert an object to a String
 fails:Array#pack with format 'm' raises a TypeError if #to_str does not return a String
 fails:Array#pack with format 'm' raises a TypeError if passed nil
 fails:Array#pack with format 'm' raises a TypeError if passed an Integer
-fails:Array#pack with format 'm' does not emit a newline if passed zero as the count modifier
-fails:Array#pack with format 'm' sets the output string to US-ASCII encoding
diff --git a/spec/truffle/tags/core/array/pack/n_tags.txt b/spec/truffle/tags/core/array/pack/n_tags.txt
@@ -4,41 +4,23 @@ fails:Array#pack with format 'N' ignores whitespace in the format string
 fails:Array#pack with format 'N' calls #to_str to coerce the directives string
 fails:Array#pack with format 'N' taints the output string if the format string is tainted
 fails:Array#pack with format 'N' raises an ArgumentError if there are fewer elements than the format requires
-fails:Array#pack with format 'N' returns an empty String if count is zero
 fails:Array#pack with format 'N' raises a TypeError when passed true
 fails:Array#pack with format 'N' raises a TypeError when passed false
-fails:Array#pack with format 'N' returns an ASCII-8BIT string
 fails:Array#pack with format 'N' raises a TypeError when the object does not respond to #to_int
 fails:Array#pack with format 'N' raises a TypeError when passed a String
 fails:Array#pack with format 'N' raises ArgumentError when the format modifier is '_'
 fails:Array#pack with format 'N' raises ArgumentError when the format modifier is '!'
-fails:Array#pack with format 'N' encodes the least significant 32 bits of a positive number
-fails:Array#pack with format 'N' encodes the least significant 32 bits of a negative number
-fails:Array#pack with format 'N' encodes a Float truncated as an Integer
 fails:Array#pack with format 'N' calls #to_int to convert the pack argument to an Integer
-fails:Array#pack with format 'N' encodes the number of array elements specified by the count modifier
-fails:Array#pack with format 'N' encodes all remaining elements when passed the '*' modifier
-fails:Array#pack with format 'N' ignores NULL bytes between directives
-fails:Array#pack with format 'N' ignores spaces between directives
 fails:Array#pack with format 'n' raises a TypeError when passed nil
 fails:Array#pack with format 'n' raises a TypeError when passed an Integer
 fails:Array#pack with format 'n' ignores whitespace in the format string
 fails:Array#pack with format 'n' calls #to_str to coerce the directives string
 fails:Array#pack with format 'n' taints the output string if the format string is tainted
 fails:Array#pack with format 'n' raises an ArgumentError if there are fewer elements than the format requires
-fails:Array#pack with format 'n' returns an empty String if count is zero
 fails:Array#pack with format 'n' raises a TypeError when passed true
 fails:Array#pack with format 'n' raises a TypeError when passed false
-fails:Array#pack with format 'n' returns an ASCII-8BIT string
 fails:Array#pack with format 'n' raises a TypeError when the object does not respond to #to_int
 fails:Array#pack with format 'n' raises a TypeError when passed a String
 fails:Array#pack with format 'n' raises ArgumentError when the format modifier is '_'
 fails:Array#pack with format 'n' raises ArgumentError when the format modifier is '!'
-fails:Array#pack with format 'n' encodes the least significant 16 bits of a positive number
-fails:Array#pack with format 'n' encodes the least significant 16 bits of a negative number
-fails:Array#pack with format 'n' encodes a Float truncated as an Integer
 fails:Array#pack with format 'n' calls #to_int to convert the pack argument to an Integer
-fails:Array#pack with format 'n' encodes the number of array elements specified by the count modifier
-fails:Array#pack with format 'n' encodes all remaining elements when passed the '*' modifier
-fails:Array#pack with format 'n' ignores NULL bytes between directives
-fails:Array#pack with format 'n' ignores spaces between directives
diff --git a/spec/truffle/tags/core/array/pack/q_tags.txt b/spec/truffle/tags/core/array/pack/q_tags.txt
@@ -4,10 +4,8 @@ fails:Array#pack with format 'Q' ignores whitespace in the format string
 fails:Array#pack with format 'Q' calls #to_str to coerce the directives string
 fails:Array#pack with format 'Q' taints the output string if the format string is tainted
 fails:Array#pack with format 'Q' raises an ArgumentError if there are fewer elements than the format requires
-fails:Array#pack with format 'Q' returns an empty String if count is zero
 fails:Array#pack with format 'Q' raises a TypeError when passed true
 fails:Array#pack with format 'Q' raises a TypeError when passed false
-fails:Array#pack with format 'Q' returns an ASCII-8BIT string
 fails:Array#pack with format 'Q' raises a TypeError when the object does not respond to #to_int
 fails:Array#pack with format 'Q' raises a TypeError when passed a String
 fails:Array#pack with format 'q' raises a TypeError when passed nil
@@ -16,55 +14,35 @@ fails:Array#pack with format 'q' ignores whitespace in the format string
 fails:Array#pack with format 'q' calls #to_str to coerce the directives string
 fails:Array#pack with format 'q' taints the output string if the format string is tainted
 fails:Array#pack with format 'q' raises an ArgumentError if there are fewer elements than the format requires
-fails:Array#pack with format 'q' returns an empty String if count is zero
 fails:Array#pack with format 'q' raises a TypeError when passed true
 fails:Array#pack with format 'q' raises a TypeError when passed false
-fails:Array#pack with format 'q' returns an ASCII-8BIT string
 fails:Array#pack with format 'q' raises a TypeError when the object does not respond to #to_int
 fails:Array#pack with format 'q' raises a TypeError when passed a String
-fails:Array#pack with format 'Q' with modifier '<' encodes the least significant 64 bits of a positive number
-fails:Array#pack with format 'Q' with modifier '<' encodes the least significant 64 bits of a negative number
-fails:Array#pack with format 'Q' with modifier '<' encodes a Float truncated as an Integer
 fails:Array#pack with format 'Q' with modifier '<' calls #to_int to convert the pack argument to an Integer
 fails:Array#pack with format 'Q' with modifier '<' encodes the number of array elements specified by the count modifier
 fails:Array#pack with format 'Q' with modifier '<' encodes all remaining elements when passed the '*' modifier
 fails:Array#pack with format 'Q' with modifier '<' ignores NULL bytes between directives
 fails:Array#pack with format 'Q' with modifier '<' ignores spaces between directives
-fails:Array#pack with format 'Q' with modifier '>' encodes the least significant 64 bits of a positive number
-fails:Array#pack with format 'Q' with modifier '>' encodes the least significant 64 bits of a negative number
-fails:Array#pack with format 'Q' with modifier '>' encodes a Float truncated as an Integer
 fails:Array#pack with format 'Q' with modifier '>' calls #to_int to convert the pack argument to an Integer
 fails:Array#pack with format 'Q' with modifier '>' encodes the number of array elements specified by the count modifier
 fails:Array#pack with format 'Q' with modifier '>' encodes all remaining elements when passed the '*' modifier
 fails:Array#pack with format 'Q' with modifier '>' ignores NULL bytes between directives
 fails:Array#pack with format 'Q' with modifier '>' ignores spaces between directives
-fails:Array#pack with format 'q' with modifier '<' encodes the least significant 64 bits of a positive number
-fails:Array#pack with format 'q' with modifier '<' encodes the least significant 64 bits of a negative number
-fails:Array#pack with format 'q' with modifier '<' encodes a Float truncated as an Integer
 fails:Array#pack with format 'q' with modifier '<' calls #to_int to convert the pack argument to an Integer
 fails:Array#pack with format 'q' with modifier '<' encodes the number of array elements specified by the count modifier
 fails:Array#pack with format 'q' with modifier '<' encodes all remaining elements when passed the '*' modifier
 fails:Array#pack with format 'q' with modifier '<' ignores NULL bytes between directives
 fails:Array#pack with format 'q' with modifier '<' ignores spaces between directives
-fails:Array#pack with format 'q' with modifier '>' encodes the least significant 64 bits of a positive number
-fails:Array#pack with format 'q' with modifier '>' encodes the least significant 64 bits of a negative number
-fails:Array#pack with format 'q' with modifier '>' encodes a Float truncated as an Integer
 fails:Array#pack with format 'q' with modifier '>' calls #to_int to convert the pack argument to an Integer
 fails:Array#pack with format 'q' with modifier '>' encodes the number of array elements specified by the count modifier
 fails:Array#pack with format 'q' with modifier '>' encodes all remaining elements when passed the '*' modifier
 fails:Array#pack with format 'q' with modifier '>' ignores NULL bytes between directives
 fails:Array#pack with format 'q' with modifier '>' ignores spaces between directives
-fails:Array#pack with format 'Q' encodes the least significant 64 bits of a positive number
-fails:Array#pack with format 'Q' encodes the least significant 64 bits of a negative number
-fails:Array#pack with format 'Q' encodes a Float truncated as an Integer
 fails:Array#pack with format 'Q' calls #to_int to convert the pack argument to an Integer
 fails:Array#pack with format 'Q' encodes the number of array elements specified by the count modifier
 fails:Array#pack with format 'Q' encodes all remaining elements when passed the '*' modifier
 fails:Array#pack with format 'Q' ignores NULL bytes between directives
 fails:Array#pack with format 'Q' ignores spaces between directives
-fails:Array#pack with format 'q' encodes the least significant 64 bits of a positive number
-fails:Array#pack with format 'q' encodes the least significant 64 bits of a negative number
-fails:Array#pack with format 'q' encodes a Float truncated as an Integer
 fails:Array#pack with format 'q' calls #to_int to convert the pack argument to an Integer
 fails:Array#pack with format 'q' encodes the number of array elements specified by the count modifier
 fails:Array#pack with format 'q' encodes all remaining elements when passed the '*' modifier

diff --git a/spec/truffle/tags/core/array/pack/s_tags.txt b/spec/truffle/tags/core/array/pack/s_tags.txt
diff --git a/spec/truffle/tags/core/array/pack/u_tags.txt b/spec/truffle/tags/core/array/pack/u_tags.txt
@@ -4,35 +4,17 @@ fails:Array#pack with format 'U' ignores whitespace in the format string
 fails:Array#pack with format 'U' calls #to_str to coerce the directives string
 fails:Array#pack with format 'U' taints the output string if the format string is tainted
 fails:Array#pack with format 'U' raises an ArgumentError if there are fewer elements than the format requires
-fails:Array#pack with format 'U' encodes ASCII values as a Unicode codepoint
-fails:Array#pack with format 'U' encodes UTF-8 BMP codepoints
-fails:Array#pack with format 'U' encodes UTF-8 max codepoints
-fails:Array#pack with format 'U' encodes values larger than UTF-8 max codepoints
-fails:Array#pack with format 'U' encodes the number of array elements specified by the count modifier
-fails:Array#pack with format 'U' encodes all remaining elements when passed the '*' modifier
 fails:Array#pack with format 'U' calls #to_int to convert the pack argument to an Integer
 fails:Array#pack with format 'U' raises a TypeError if #to_int does not return an Integer
-fails:Array#pack with format 'U' ignores NULL bytes between directives
-fails:Array#pack with format 'U' ignores spaces between directives
 fails:Array#pack with format 'U' raises a RangeError if passed a negative number
 fails:Array#pack with format 'U' raises a RangeError if passed a number larger than an unsigned 32-bit integer
-fails:Array#pack with format 'U' sets the output string to UTF-8 encoding
 fails:Array#pack with format 'u' raises a TypeError when passed nil
 fails:Array#pack with format 'u' raises a TypeError when passed an Integer
 fails:Array#pack with format 'u' ignores whitespace in the format string
 fails:Array#pack with format 'u' calls #to_str to coerce the directives string
 fails:Array#pack with format 'u' taints the output string if the format string is tainted
 fails:Array#pack with format 'u' raises an ArgumentError if there are fewer elements than the format requires
-fails:Array#pack with format 'u' encodes an empty string as an empty string
-fails:Array#pack with format 'u' appends a newline to the end of the encoded string
-fails:Array#pack with format 'u' encodes one element per directive
-fails:Array#pack with format 'u' prepends the length of each segment of the input string as the first character (+32) in each line of the output
-fails:Array#pack with format 'u' encodes 1, 2, or 3 characters in 4 output characters (uuencoding)
-fails:Array#pack with format 'u' emits a newline after complete groups of count / 3 input characters when passed a count modifier
-fails:Array#pack with format 'u' implicitly has a count of 45 when passed '*', 0, 1, 2 or no count modifier
-fails:Array#pack with format 'u' encodes all ascii characters
 fails:Array#pack with format 'u' calls #to_str to convert an object to a String
 fails:Array#pack with format 'u' raises a TypeError if #to_str does not return a String
 fails:Array#pack with format 'u' raises a TypeError if passed nil
 fails:Array#pack with format 'u' raises a TypeError if passed an Integer
-fails:Array#pack with format 'u' sets the output string to US-ASCII encoding
diff --git a/spec/truffle/tags/core/array/pack/v_tags.txt b/spec/truffle/tags/core/array/pack/v_tags.txt
@@ -4,41 +4,23 @@ fails:Array#pack with format 'V' ignores whitespace in the format string
 fails:Array#pack with format 'V' calls #to_str to coerce the directives string
 fails:Array#pack with format 'V' taints the output string if the format string is tainted
 fails:Array#pack with format 'V' raises an ArgumentError if there are fewer elements than the format requires
-fails:Array#pack with format 'V' returns an empty String if count is zero
 fails:Array#pack with format 'V' raises a TypeError when passed true
 fails:Array#pack with format 'V' raises a TypeError when passed false
-fails:Array#pack with format 'V' returns an ASCII-8BIT string
 fails:Array#pack with format 'V' raises a TypeError when the object does not respond to #to_int
 fails:Array#pack with format 'V' raises a TypeError when passed a String
 fails:Array#pack with format 'V' raises ArgumentError when the format modifier is '_'
 fails:Array#pack with format 'V' raises ArgumentError when the format modifier is '!'
-fails:Array#pack with format 'V' encodes the least significant 32 bits of a positive number
-fails:Array#pack with format 'V' encodes the least significant 32 bits of a negative number
-fails:Array#pack with format 'V' encodes a Float truncated as an Integer
 fails:Array#pack with format 'V' calls #to_int to convert the pack argument to an Integer
-fails:Array#pack with format 'V' encodes the number of array elements specified by the count modifier
-fails:Array#pack with format 'V' encodes all remaining elements when passed the '*' modifier
-fails:Array#pack with format 'V' ignores NULL bytes between directives
-fails:Array#pack with format 'V' ignores spaces between directives
 fails:Array#pack with format 'v' raises a TypeError when passed nil
 fails:Array#pack with format 'v' raises a TypeError when passed an Integer
 fails:Array#pack with format 'v' ignores whitespace in the format string
 fails:Array#pack with format 'v' calls #to_str to coerce the directives string
 fails:Array#pack with format 'v' taints the output string if the format string is tainted
 fails:Array#pack with format 'v' raises an ArgumentError if there are fewer elements than the format requires
-fails:Array#pack with format 'v' returns an empty String if count is zero
 fails:Array#pack with format 'v' raises a TypeError when passed true
 fails:Array#pack with format 'v' raises a TypeError when passed false
-fails:Array#pack with format 'v' returns an ASCII-8BIT string
 fails:Array#pack with format 'v' raises a TypeError when the object does not respond to #to_int
 fails:Array#pack with format 'v' raises a TypeError when passed a String
 fails:Array#pack with format 'v' raises ArgumentError when the format modifier is '_'
 fails:Array#pack with format 'v' raises ArgumentError when the format modifier is '!'
-fails:Array#pack with format 'v' encodes the least significant 16 bits of a positive number
-fails:Array#pack with format 'v' encodes the least significant 16 bits of a negative number
-fails:Array#pack with format 'v' encodes a Float truncated as an Integer
 fails:Array#pack with format 'v' calls #to_int to convert the pack argument to an Integer
-fails:Array#pack with format 'v' encodes the number of array elements specified by the count modifier
-fails:Array#pack with format 'v' encodes all remaining elements when passed the '*' modifier
-fails:Array#pack with format 'v' ignores NULL bytes between directives
-fails:Array#pack with format 'v' ignores spaces between directives
diff --git a/spec/truffle/tags/core/array/pack/w_tags.txt b/spec/truffle/tags/core/array/pack/w_tags.txt
@@ -4,12 +4,8 @@ fails:Array#pack with format 'w' ignores whitespace in the format string
 fails:Array#pack with format 'w' calls #to_str to coerce the directives string
 fails:Array#pack with format 'w' taints the output string if the format string is tainted
 fails:Array#pack with format 'w' raises an ArgumentError if there are fewer elements than the format requires
-fails:Array#pack with format 'w' returns an empty String if count is zero
 fails:Array#pack with format 'w' raises a TypeError when passed true
 fails:Array#pack with format 'w' raises a TypeError when passed false
-fails:Array#pack with format 'w' returns an ASCII-8BIT string
 fails:Array#pack with format 'w' encodes a BER-compressed integer
 fails:Array#pack with format 'w' calls #to_int to convert the pack argument to an Integer
-fails:Array#pack with format 'w' ignores NULL bytes between directives
-fails:Array#pack with format 'w' ignores spaces between directives
 fails:Array#pack with format 'w' raises an ArgumentError when passed a negative value
diff --git a/spec/truffle/tags/core/array/pack/x_tags.txt b/spec/truffle/tags/core/array/pack/x_tags.txt
@@ -5,22 +5,12 @@ fails:Array#pack with format 'x' calls #to_str to coerce the directives string
 fails:Array#pack with format 'x' taints the output string if the format string is tainted
 fails:Array#pack with format 'x' raises ArgumentError when the format modifier is '_'
 fails:Array#pack with format 'x' raises ArgumentError when the format modifier is '!'
-fails:Array#pack with format 'x' adds a NULL byte with an empty array
-fails:Array#pack with format 'x' adds a NULL byte without consuming an element
-fails:Array#pack with format 'x' is not affected by a previous count modifier
-fails:Array#pack with format 'x' adds multiple NULL bytes when passed a count modifier
-fails:Array#pack with format 'x' does not add a NULL byte if the count modifier is zero
-fails:Array#pack with format 'x' does not add a NULL byte when passed the '*' modifier
 fails:Array#pack with format 'X' raises a TypeError when passed nil
 fails:Array#pack with format 'X' raises a TypeError when passed an Integer
 fails:Array#pack with format 'X' ignores whitespace in the format string
 fails:Array#pack with format 'X' calls #to_str to coerce the directives string
 fails:Array#pack with format 'X' taints the output string if the format string is tainted
 fails:Array#pack with format 'X' raises ArgumentError when the format modifier is '_'
 fails:Array#pack with format 'X' raises ArgumentError when the format modifier is '!'
-fails:Array#pack with format 'X' reduces the output string by one byte at the point it is encountered
-fails:Array#pack with format 'X' does not consume any elements
-fails:Array#pack with format 'X' reduces the output string by multiple bytes when passed a count modifier
-fails:Array#pack with format 'X' has no affect when passed the '*' modifier
 fails:Array#pack with format 'X' raises an ArgumentError if the output string is empty
 fails:Array#pack with format 'X' raises an ArgumentError if the count modifier is greater than the bytes in the string
diff --git a/spec/truffle/tags/core/array/pack/z_tags.txt b/spec/truffle/tags/core/array/pack/z_tags.txt
@@ -5,10 +5,6 @@ fails:Array#pack with format 'Z' calls #to_str to coerce the directives string
 fails:Array#pack with format 'Z' taints the output string if the format string is tainted
 fails:Array#pack with format 'Z' raises ArgumentError when the format modifier is '_'
 fails:Array#pack with format 'Z' raises ArgumentError when the format modifier is '!'
-fails:Array#pack with format 'Z' adds count bytes of a String to the output
-fails:Array#pack with format 'Z' implicitly has a count of one when no count is specified
-fails:Array#pack with format 'Z' does not add any bytes when the count is zero
-fails:Array#pack with format 'Z' is not affected by a previous count modifier
 fails:Array#pack with format 'Z' raises an ArgumentError when the Array is empty
 fails:Array#pack with format 'Z' raises an ArgumentError when the Array has too few elements
 fails:Array#pack with format 'Z' calls #to_str to convert the element to a String
@@ -21,9 +17,3 @@ fails:Array#pack with format 'Z' returns a untrusted string when the format is u
 fails:Array#pack with format 'Z' returns a untrusted string when the empty format is untrusted
 fails:Array#pack with format 'Z' returns a untrusted string when a pack argument is untrusted
 fails:Array#pack with format 'Z' returns a trusted string when the array is untrusted
-fails:Array#pack with format 'Z' returns a string in encoding of common to the concatenated results
-fails:Array#pack with format 'Z' adds all the bytes and appends a NULL byte when passed the '*' modifier
-fails:Array#pack with format 'Z' padds the output with NULL bytes when the count exceeds the size of the String
-fails:Array#pack with format 'Z' adds a NULL byte when the value is nil
-fails:Array#pack with format 'Z' pads the output with NULL bytes when the value is nil
-fails:Array#pack with format 'Z' does not append a NULL byte when passed the '*' modifier and the value is nil
diff --git a/spec/truffle/tags/core/array/plus_tags.txt b/spec/truffle/tags/core/array/plus_tags.txt
@@ -1,7 +1,5 @@
 fails:Array#+ concatenates two arrays
-fails:Array#+ can concatenate an array with itself
 fails:Array#+ tries to convert the passed argument to an Array using #to_ary
-fails:Array#+ properly handles recursive arrays
 fails:Array#+ does return subclass instances with Array subclasses
 fails:Array#+ does not call to_ary on array subclasses
 fails:Array#+ does not get infected even if an original array is tainted

diff --git a/spec/truffle/tags/core/array/pop_tags.txt b/spec/truffle/tags/core/array/pop_tags.txt
@@ -1,19 +1,12 @@
-fails:Array#pop removes and returns the last element of the array
-fails:Array#pop returns nil if there are no more elements
-fails:Array#pop properly handles recursive arrays
-fails:Array#pop keeps taint status
 fails:Array#pop raises a RuntimeError on a frozen array
 fails:Array#pop raises a RuntimeError on an empty frozen array
-fails:Array#pop keeps untrusted status
 fails:Array#pop passed a number n as an argument removes and returns an array with the last n elements of the array
 fails:Array#pop passed a number n as an argument returns an array with the last n elements even if shift was invoked
 fails:Array#pop passed a number n as an argument returns a new empty array if there are no more elements
 fails:Array#pop passed a number n as an argument returns whole elements if n exceeds size of the array
 fails:Array#pop passed a number n as an argument does not return self even when it returns whole elements
-fails:Array#pop passed a number n as an argument raises an ArgumentError if n is negative
 fails:Array#pop passed a number n as an argument tries to convert n to an Integer using #to_int
 fails:Array#pop passed a number n as an argument raises a TypeError when the passed n can be coerced to Integer
-fails:Array#pop passed a number n as an argument raises an ArgumentError if more arguments are passed
 fails:Array#pop passed a number n as an argument does not return subclass instances with Array subclass
 fails:Array#pop passed a number n as an argument returns an untainted array even if the array is tainted
 fails:Array#pop passed a number n as an argument keeps taint status

diff --git a/spec/truffle/tags/core/array/push_tags.txt b/spec/truffle/tags/core/array/push_tags.txt
@@ -1,4 +1 @@
-fails:Array#push appends the arguments to the array
-fails:Array#push isn't confused by previous shift
-fails:Array#push properly handles recursive arrays
 fails:Array#push raises a RuntimeError on a frozen array
diff --git a/spec/truffle/tags/core/array/select_tags.txt b/spec/truffle/tags/core/array/select_tags.txt
@@ -1,12 +1,8 @@
 fails:Array#select returns an Enumerator if no block given
-fails:Array#select returns a new array of elements for which block is true
 fails:Array#select does not return subclass instance on Array subclasses
-fails:Array#select properly handles recursive arrays
 fails:Array#select! returns nil if no changes were made in the array
 fails:Array#select! deletes elements for which the block returns a false value
 fails:Array#select! returns an enumerator if no block is given
 fails:Array#select! on frozen objects returns an Enumerator if no block is given
-fails:Array#select! on frozen objects with truthy block keeps elements after any exception
 fails:Array#select! on frozen objects with truthy block raises a RuntimeError
-fails:Array#select! on frozen objects with falsy block keeps elements after any exception
 fails:Array#select! on frozen objects with falsy block raises a RuntimeError
diff --git a/spec/truffle/tags/core/array/shift_tags.txt b/spec/truffle/tags/core/array/shift_tags.txt
@@ -1,17 +1,12 @@
-fails:Array#shift removes and returns the first element
-fails:Array#shift returns nil when the array is empty
-fails:Array#shift properly handles recursive arrays
 fails:Array#shift raises a RuntimeError on a frozen array
 fails:Array#shift raises a RuntimeError on an empty frozen array
 fails:Array#shift passed a number n as an argument removes and returns an array with the first n element of the array
 fails:Array#shift passed a number n as an argument does not corrupt the array when shift without arguments is followed by shift with an argument
 fails:Array#shift passed a number n as an argument returns a new empty array if there are no more elements
 fails:Array#shift passed a number n as an argument returns whole elements if n exceeds size of the array
 fails:Array#shift passed a number n as an argument does not return self even when it returns whole elements
-fails:Array#shift passed a number n as an argument raises an ArgumentError if n is negative
 fails:Array#shift passed a number n as an argument tries to convert n to an Integer using #to_int
 fails:Array#shift passed a number n as an argument raises a TypeError when the passed n can be coerced to Integer
-fails:Array#shift passed a number n as an argument raises an ArgumentError if more arguments are passed
 fails:Array#shift passed a number n as an argument does not return subclass instances with Array subclass
 fails:Array#shift passed a number n as an argument returns an untainted array even if the array is tainted
 fails:Array#shift passed a number n as an argument keeps taint status
diff --git a/spec/truffle/tags/core/array/size_tags.txt b/spec/truffle/tags/core/array/size_tags.txt
diff --git a/spec/truffle/tags/core/array/slice_tags.txt b/spec/truffle/tags/core/array/slice_tags.txt
@@ -14,7 +14,6 @@ fails:Array#slice returns the element at index from the end of the array with [-
 fails:Array#slice returns count elements starting from index with [index, count]
 fails:Array#slice returns count elements starting at index from the end of array with [-index, count]
 fails:Array#slice returns the first count elements with [0, count]
-fails:Array#slice returns the subarray which is independent to self with [index,count]
 fails:Array#slice tries to convert the passed argument to an Integer using #to_int
 fails:Array#slice returns the elements specified by Range indexes with [m..n]
 fails:Array#slice returns elements specified by Range indexes except the element at index n with [m...n]

diff --git a/spec/truffle/tags/core/array/sort_tags.txt b/spec/truffle/tags/core/array/sort_tags.txt
@@ -1,36 +1,21 @@
-fails:Array#sort returns a new array sorted based on comparing elements with <=>
-fails:Array#sort does not affect the original Array
-fails:Array#sort sorts already-sorted Arrays
 fails:Array#sort sorts reverse-sorted Arrays
-fails:Array#sort sorts Arrays that consist entirely of equal elements
-fails:Array#sort sorts Arrays that consist mostly of equal elements
-fails:Array#sort does not return self even if the array would be already sorted
 fails:Array#sort properly handles recursive arrays
-fails:Array#sort uses #<=> of elements in order to sort
-fails:Array#sort does not deal with exceptions raised by unimplemented or incorrect #<=>
 fails:Array#sort may take a block which is used to determine the order of objects a and b described as -1, 0 or +1
 fails:Array#sort raises an error when a given block returns nil
-fails:Array#sort does not call #<=> on contained objects when invoked with a block
-fails:Array#sort does not call #<=> on elements when invoked with a block even if Array is large (Rubinius #412)
 fails:Array#sort completes when supplied a block that always returns the same result
 fails:Array#sort does not freezes self during being sorted
 fails:Array#sort returns the specified value when it would break in the given block
 fails:Array#sort uses the sign of Bignum block results as the sort result
 fails:Array#sort compares values returned by block with 0
-fails:Array#sort sorts an array that has a value shifted off without a block
-fails:Array#sort sorts an array that has a value shifted off with a block
 fails:Array#sort raises an error if objects can't be compared
 fails:Array#sort handles a large array that has been pruned
 fails:Array#sort does not return subclass instance on Array subclasses
-fails:Array#sort! sorts array in place using <=>
 fails:Array#sort! sorts array in place using block value if a block given
-fails:Array#sort! returns self if the order of elements changed
-fails:Array#sort! returns self even if makes no modification
 fails:Array#sort! properly handles recursive arrays
-fails:Array#sort! uses #<=> of elements in order to sort
 fails:Array#sort! does not call #<=> on contained objects when invoked with a block
 fails:Array#sort! does not call #<=> on elements when invoked with a block even if Array is large (Rubinius #412)
-fails:Array#sort! completes when supplied a block that always returns the same result
 fails:Array#sort! raises a RuntimeError on a frozen array
 fails:Array#sort! returns the specified value when it would break in the given block
 fails:Array#sort! makes some modification even if finished sorting when it would break in the given block
+fails:Array#sort sorts an array that has a value shifted off without a block
+fails:Array#sort sorts an array that has a value shifted off with a block
diff --git a/spec/truffle/tags/core/array/to_s_tags.txt b/spec/truffle/tags/core/array/to_s_tags.txt
@@ -1,4 +1,3 @@
-fails:Array#to_s calls inspect on its elements and joins the results with commas
 fails:Array#to_s represents a recursive element with '[...]'
 fails:Array#to_s taints the result if the Array is non-empty and tainted
 fails:Array#to_s does not taint the result if the Array is tainted but empty
@@ -7,6 +6,5 @@ fails:Array#to_s untrusts the result if the Array is untrusted
 fails:Array#to_s does not untrust the result if the Array is untrusted but empty
 fails:Array#to_s untrusts the result if an element is untrusted
 fails:Array#to_s with encoding returns a US-ASCII string for an empty Array
-fails:Array#to_s with encoding use the default external encoding if it is ascii compatible
 fails:Array#to_s with encoding use US-ASCII encoding if the default external encoding is not ascii compatible
 fails:Array#to_s with encoding raises if inspected result is not default external encoding
diff --git a/spec/truffle/tags/core/array/uniq_tags.txt b/spec/truffle/tags/core/array/uniq_tags.txt
@@ -1,8 +1,4 @@
-fails:Array#uniq returns an array with no duplicates
-fails:Array#uniq properly handles recursive arrays
 fails:Array#uniq uses eql? semantics
-fails:Array#uniq compares elements first with hash
-fails:Array#uniq does not compare elements with different hash codes via eql?
 fails:Array#uniq compares elements with matching hash codes with #eql?
 fails:Array#uniq compares elements based on the value returned from the block
 fails:Array#uniq yields items in order

diff --git a/spec/truffle/tags/core/array/values_at_tags.txt b/spec/truffle/tags/core/array/values_at_tags.txt
@@ -1,8 +1,3 @@
-fails:Array#values_at returns an array of elements at the indexes when passed indexes
-fails:Array#values_at calls to_int on its indices
-fails:Array#values_at properly handles recursive arrays
 fails:Array#values_at does not return subclass instance on Array subclasses
 fails:Array#values_at when passed ranges returns an array of elements in the ranges
 fails:Array#values_at when passed ranges calls to_int on arguments of ranges
-fails:Array#values_at when passed a range fills with nil if the index is out of the range
-fails:Array#values_at when passed a range on an empty array fills with nils if the index is out of the range
diff --git a/spec/truffle/tags/core/basicobject/ancestors_tags.txt b/spec/truffle/tags/core/basicobject/ancestors_tags.txt
diff --git a/spec/truffle/tags/core/basicobject/basicobject_tags.txt b/spec/truffle/tags/core/basicobject/basicobject_tags.txt
@@ -1,5 +1 @@
 fails:BasicObject raises NoMethodError for nonexistent methods after #method_missing is removed
-fails:BasicObject raises NameError when referencing built-in constants
-fails:BasicObject does not define built-in constants (according to defined?)
-fails:BasicObject includes itself in its list of constants
-fails:BasicObject subclass contains Kernel methods when including Kernel
diff --git a/spec/truffle/tags/core/basicobject/initialize_tags.txt b/spec/truffle/tags/core/basicobject/initialize_tags.txt
diff --git a/spec/truffle/tags/core/basicobject/instance_eval_tags.txt b/spec/truffle/tags/core/basicobject/instance_eval_tags.txt
diff --git a/spec/truffle/tags/core/basicobject/method_missing_tags.txt b/spec/truffle/tags/core/basicobject/method_missing_tags.txt
diff --git a/spec/truffle/tags/core/basicobject/not_equal_tags.txt b/spec/truffle/tags/core/basicobject/not_equal_tags.txt
diff --git a/spec/truffle/tags/core/bignum/abs_tags.txt b/spec/truffle/tags/core/bignum/abs_tags.txt
diff --git a/spec/truffle/tags/core/bignum/bignum_tags.txt b/spec/truffle/tags/core/bignum/bignum_tags.txt
diff --git a/spec/truffle/tags/core/bignum/comparison_tags.txt b/spec/truffle/tags/core/bignum/comparison_tags.txt
@@ -1,5 +1,4 @@
 fails:Bignum#<=> returns 1 when self is Infinity and other is a Bignum
-fails:Bignum#<=> returns -1 when self is negative and other is Infinty
 fails:Bignum#<=> returns 1 when self is negative and other is -Infinity
 fails:Bignum#<=> returns -1 when self is -Infinity and other is negative
 fails:Bignum#<=> with a Float when other is negative returns -1 when self is negative and other is larger

diff --git a/spec/truffle/tags/core/bignum/div_tags.txt b/spec/truffle/tags/core/bignum/div_tags.txt
@@ -1,5 +1,3 @@
 fails:Bignum#div returns self divided by other
-fails:Bignum#div raises a ZeroDivisionError if other is zero and not a Float
 fails:Bignum#div raises a TypeError when given a non-Integer
 fails:Bignum#div returns a result of integer division of self by a float argument
-fails:Bignum#div raises ZeroDivisionError if the argument is Float zero
diff --git a/spec/truffle/tags/core/bignum/divide_tags.txt b/spec/truffle/tags/core/bignum/divide_tags.txt
@@ -1,3 +1,2 @@
 fails:Bignum#/ returns self divided by other
-fails:Bignum#/ raises a ZeroDivisionError if other is zero and not a Float
 fails:Bignum#/ raises a TypeError when given a non-Integer
diff --git a/spec/truffle/tags/core/bignum/divmod_tags.txt b/spec/truffle/tags/core/bignum/divmod_tags.txt
@@ -2,7 +2,3 @@ fails:Bignum#divmod returns an Array containing quotient and modulus obtained fr
 fails:Bignum#divmod raises a FloatDomainError if other is NaN
 fails:Bignum#divmod raises a TypeError when the given argument is not an Integer
 fails:Bignum#divmod raises a ZeroDivisionError when the given argument is 0 and a Float
-fails:Bignum#divmod with q = floor(x/y), a = q*b + r, returns [q,r] when a > 0, b < 0 and a > |b|
-fails:Bignum#divmod with q = floor(x/y), a = q*b + r, returns [q,r] when a < 0, b < 0 and |a| < |b|
-fails:Bignum#divmod with q = floor(x/y), a = q*b + r, returns [q,r] when a < 0, b > 0 and |a| < b
-fails:Bignum#divmod with q = floor(x/y), a = q*b + r, returns [q,r] when a > 0, b < 0 and a < |b|
diff --git a/spec/truffle/tags/core/bignum/even_tags.txt b/spec/truffle/tags/core/bignum/even_tags.txt
diff --git a/spec/truffle/tags/core/bignum/left_shift_tags.txt b/spec/truffle/tags/core/bignum/left_shift_tags.txt
@@ -1,9 +1,3 @@
-fails:Bignum#<< with n << m returns n shifted left m bits when n > 0, m > 0
-fails:Bignum#<< with n << m returns n shifted left m bits when n < 0, m > 0
-fails:Bignum#<< with n << m returns n shifted right m bits when n > 0, m < 0
-fails:Bignum#<< with n << m returns n shifted right m bits when n < 0, m < 0
-fails:Bignum#<< with n << m returns n when n > 0, m == 0
-fails:Bignum#<< with n << m returns n when n < 0, m == 0
 fails:Bignum#<< with n << m returns 0 when m < 0 and m is a Bignum
 fails:Bignum#<< with n << m calls #to_int to convert the argument to an Integer
 fails:Bignum#<< with n << m raises a TypeError when #to_int does not return an Integer

diff --git a/spec/truffle/tags/core/bignum/minus_tags.txt b/spec/truffle/tags/core/bignum/minus_tags.txt
@@ -1,2 +1 @@
-fails:Bignum#- returns self minus the given Integer
 fails:Bignum#- raises a TypeError when given a non-Integer
diff --git a/spec/truffle/tags/core/bignum/modulo_tags.txt b/spec/truffle/tags/core/bignum/modulo_tags.txt
@@ -1,8 +1,7 @@
 fails:Bignum#% returns the modulus obtained from dividing self by the given argument
-fails:Bignum#% raises a ZeroDivisionError when the given argument is 0
-fails:Bignum#% raises a ZeroDivisionError when the given argument is 0 and a Float
 fails:Bignum#% raises a TypeError when given a non-Integer
 fails:Bignum#modulo returns the modulus obtained from dividing self by the given argument
 fails:Bignum#modulo raises a ZeroDivisionError when the given argument is 0
 fails:Bignum#modulo raises a ZeroDivisionError when the given argument is 0 and a Float
 fails:Bignum#modulo raises a TypeError when given a non-Integer
+fails:Bignum#% raises a ZeroDivisionError when the given argument is 0 and a Float
diff --git a/spec/truffle/tags/core/bignum/plus_tags.txt b/spec/truffle/tags/core/bignum/plus_tags.txt
@@ -1,2 +1 @@
-fails:Bignum#+ returns self plus the given Integer
 fails:Bignum#+ raises a TypeError when given a non-Integer
diff --git a/spec/truffle/tags/core/bignum/right_shift_tags.txt b/spec/truffle/tags/core/bignum/right_shift_tags.txt
@@ -1,11 +1,3 @@
-fails:Bignum#>> with n >> m returns n shifted right m bits when n > 0, m > 0
-fails:Bignum#>> with n >> m returns n shifted right m bits when n < 0, m > 0
-fails:Bignum#>> with n >> m respects twos complement signed shifting
-fails:Bignum#>> with n >> m respects twos complement signed shifting for very large values
-fails:Bignum#>> with n >> m returns n shifted left m bits when  n > 0, m < 0
-fails:Bignum#>> with n >> m returns n shifted left m bits when  n < 0, m < 0
-fails:Bignum#>> with n >> m returns n when n > 0, m == 0
-fails:Bignum#>> with n >> m returns n when n < 0, m == 0
 fails:Bignum#>> with n >> m returns 0 when m is a Bignum
 fails:Bignum#>> with n >> m calls #to_int to convert the argument to an Integer
 fails:Bignum#>> with n >> m raises a TypeError when #to_int does not return an Integer

diff --git a/spec/truffle/tags/core/bignum/uminus_tags.txt b/spec/truffle/tags/core/bignum/uminus_tags.txt
diff --git a/spec/truffle/tags/core/builtin_constants/builtin_constants_tags.txt b/spec/truffle/tags/core/builtin_constants/builtin_constants_tags.txt
@@ -1,8 +1,2 @@
-fails:RUBY_VERSION is a String
-fails:RUBY_PATCHLEVEL is a Fixnum
 fails:RUBY_COPYRIGHT is a String
-fails:RUBY_DESCRIPTION is a String
-fails:RUBY_ENGINE is a String
-fails:RUBY_PLATFORM is a String
-fails:RUBY_RELEASE_DATE is a String
 fails:RUBY_REVISION is a Fixnum
diff --git a/spec/truffle/tags/core/class/allocate_tags.txt b/spec/truffle/tags/core/class/allocate_tags.txt
@@ -1,5 +1 @@
-fails:Class#allocate returns an instance of self
-fails:Class#allocate returns a fully-formed instance of Module
-fails:Class#allocate throws an exception when calling a method on a new instance
-fails:Class#allocate does not call initialize on the new instance
 fails:Class#allocate raises TypeError for #superclass
diff --git a/spec/truffle/tags/core/class/inherited_tags.txt b/spec/truffle/tags/core/class/inherited_tags.txt
@@ -1,8 +1 @@
 fails:Class.inherited is invoked with the child Class when self is subclassed
-fails:Class.inherited is invoked only once per subclass
-fails:Class.inherited is called when marked as a private class method
-fails:Class.inherited is called when marked as a protected class method
-fails:Class.inherited is called when marked as a public class method
-fails:Class.inherited is called by super from a method provided by an included module
-fails:Class.inherited is called by super even when marked as a private class method
-fails:Class.inherited will be invoked by child class regardless of visibility
diff --git a/spec/truffle/tags/core/fixnum/abs_tags.txt b/spec/truffle/tags/core/fixnum/abs_tags.txt
diff --git a/spec/truffle/tags/core/fixnum/case_compare_tags.txt b/spec/truffle/tags/core/fixnum/case_compare_tags.txt
@@ -1,2 +1 @@
-fails:Fixnum#=== returns true if self has the same value as other
 fails:Fixnum#=== calls 'other == self' if the given argument is not a Fixnum
diff --git a/spec/truffle/tags/core/fixnum/div_tags.txt b/spec/truffle/tags/core/fixnum/div_tags.txt
@@ -1,6 +1 @@
-fails:Fixnum#div with a Fixnum returns self divided by the given argument as an Integer
-fails:Fixnum#div rounds towards -inf
-fails:Fixnum#div coerces self and the given argument to Floats and returns self divided by other as Fixnum
-fails:Fixnum#div raises a ZeroDivisionError when the given argument is 0 and a Float
-fails:Fixnum#div raises a ZeroDivisionError when the given argument is 0
 fails:Fixnum#div raises a TypeError when given a non-Integer
diff --git a/spec/truffle/tags/core/fixnum/equal_value_tags.txt b/spec/truffle/tags/core/fixnum/equal_value_tags.txt
@@ -1,2 +1 @@
-fails:Fixnum#== returns true if self has the same value as other
 fails:Fixnum#== calls 'other == self' if the given argument is not a Fixnum
diff --git a/spec/truffle/tags/core/fixnum/fixnum_tags.txt b/spec/truffle/tags/core/fixnum/fixnum_tags.txt
diff --git a/spec/truffle/tags/core/fixnum/modulo_tags.txt b/spec/truffle/tags/core/fixnum/modulo_tags.txt
@@ -1,8 +1,7 @@
 fails:Fixnum#% returns the modulus obtained from dividing self by the given argument
-fails:Fixnum#% raises a ZeroDivisionError when the given argument is 0
-fails:Fixnum#% raises a ZeroDivisionError when the given argument is 0 and a Float
 fails:Fixnum#% raises a TypeError when given a non-Integer
 fails:Fixnum#modulo returns the modulus obtained from dividing self by the given argument
 fails:Fixnum#modulo raises a ZeroDivisionError when the given argument is 0
 fails:Fixnum#modulo raises a ZeroDivisionError when the given argument is 0 and a Float
 fails:Fixnum#modulo raises a TypeError when given a non-Integer
+fails:Fixnum#% raises a ZeroDivisionError when the given argument is 0 and a Float
diff --git a/spec/truffle/tags/core/fixnum/right_shift_tags.txt b/spec/truffle/tags/core/fixnum/right_shift_tags.txt
@@ -1,17 +1,7 @@
-fails:Fixnum#>> with n >> m returns n shifted right m bits when n > 0, m > 0
-fails:Fixnum#>> with n >> m returns n shifted right m bits when n < 0, m > 0
-fails:Fixnum#>> with n >> m returns n shifted left m bits when n > 0, m < 0
-fails:Fixnum#>> with n >> m returns n shifted left m bits when n < 0, m < 0
-fails:Fixnum#>> with n >> m returns 0 when n == 0
-fails:Fixnum#>> with n >> m returns n when n > 0, m == 0
-fails:Fixnum#>> with n >> m returns n when n < 0, m == 0
-fails:Fixnum#>> with n >> m returns 0 when m > 0 and m == p where 2**p > n >= 2**(p-1)
 fails:Fixnum#>> with n >> m returns 0 when m is outside the available bits and n >= 0
 fails:Fixnum#>> with n >> m returns -1 when m is outside the available bits and n < 0
 fails:Fixnum#>> with n >> m returns 0 when m is a Bignum
 fails:Fixnum#>> with n >> m returns a Bignum == fixnum_max() * 2 when fixnum_max() >> -1 and n > 0
 fails:Fixnum#>> with n >> m returns a Bignum == fixnum_min() * 2 when fixnum_min() >> -1 and n < 0
 fails:Fixnum#>> with n >> m calls #to_int to convert the argument to an Integer
 fails:Fixnum#>> with n >> m raises a TypeError when #to_int does not return an Integer
-fails:Fixnum#>> with n >> m raises a TypeError when passed nil
-fails:Fixnum#>> with n >> m raises a TypeError when passed a String
diff --git a/spec/truffle/tags/core/fixnum/size_tags.txt b/spec/truffle/tags/core/fixnum/size_tags.txt
diff --git a/spec/truffle/tags/core/fixnum/uminus_tags.txt b/spec/truffle/tags/core/fixnum/uminus_tags.txt
@@ -1,2 +1 @@
-fails:Fixnum#-@ returns self as a negative value
 fails:Fixnum#-@ negates self at Fixnum/Bignum boundaries
Original file line number	Diff line number	Diff line change
		@@ -1,2 +1 @@
		fails:Array#frozen? returns true if array is frozen
		fails:Array#frozen? returns false for an array being sorted by #sort
Original file line number	Diff line number	Diff line change
		@@ -1,2 +1 @@
		fails:Bignum#- returns self minus the given Integer
		fails:Bignum#- raises a TypeError when given a non-Integer
Original file line number	Diff line number	Diff line change
		@@ -1,2 +1 @@
		fails:Bignum#+ returns self plus the given Integer
		fails:Bignum#+ raises a TypeError when given a non-Integer
Original file line number	Diff line number	Diff line change
		@@ -1,2 +1 @@
		fails:Fixnum#=== returns true if self has the same value as other
		fails:Fixnum#=== calls 'other == self' if the given argument is not a Fixnum
Original file line number	Diff line number	Diff line change
		@@ -1,2 +1 @@
		fails:Fixnum#== returns true if self has the same value as other
		fails:Fixnum#== calls 'other == self' if the given argument is not a Fixnum
Original file line number	Diff line number	Diff line change
		@@ -1,2 +1 @@
		fails:Fixnum#-@ returns self as a negative value
		fails:Fixnum#-@ negates self at Fixnum/Bignum boundaries